Showing 1 - 20 results of 344 for search '', query time: 0.40s Refine Results
  1. 1
    Metakritik der formalen Logik : Sinnliche Gewissheit als Horizont der Aussagenlogik und elementaren Prädikatenlogik
    by Eley, Lothar
    Published 1969

    Book
  2. 2
    Case-based reasoning : research and development : first international conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings /
    Published 1995

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  3. 3
    The axiom of constructibility : a guide for the mathematician /
    by Devlin, Keith J
    Published 1977

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  4. 4
    Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings /
    Published 1994

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  5. 5
    Types for proofs and programs : international workshop, TYPES 99, L�okeberg, Sweden, June 12-16, 1999 : selected papers /
    Published 2001

    Conference Proceeding Book
  6. 6
    Chance, love, and logic : philosophical essays /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  7. 7
    Vagueness, logic and ontology /
    by Hyde, Dominic
    Published 2008

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 8
    Heibergs Speculative logic and other texts /

    Book
  9. 9
    Praecepta logica, cum ipsis quadam oratione de praecipuis quibusdam discendi regulis ex comparatione corporis et animi erutis /

    Book
  10. 10
    A deductive theory of space and time
    by Basri, Saul A
    Published 1966

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  11. 11
    Proceedings of the Second Scandinavian Logic Symposium
    Published 1971

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  12. 12
    A transfinite type theory with type variables

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  13. 13
    Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 /
    Published 1993

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  14. 14
    What is negation? /
    Published 1999

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  15. 15
    Dirk van Dalen Festschrift /
    Published 1993

    Book
  16. 16
    Edmund Husserl's theory of meaning /

    Book
  17. 17
    Decision logic tables for algorithms and logical trees
    by Lewis, Brian N
    Published 1970

    Book
  18. 18
    Studies in the history of logic /
    by Rescher, Nicholas
    Published 2006

    Book
  19. 19
    Quaestiones logicae secundum viam realiu[m] et nominalium una cum textus explanatione
    by Coronel, Antonio
    Published 1509

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  20. 20
    Rippling : meta-level guidance for mathematical reasoning /
    Published 2005

    Book
Search Tools: Get RSS Feed — Email this Search