Showing 1 - 20 results of 564 for search '', query time: 0.39s Refine Results
  1. 1
    An object-based logic programming language /
    Link to OAKTrust copy
    Thesis eBook
  2. 2
    Annals of pure and applied logic.
    Journal
  3. 3
    Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings /
    Published 1998
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  4. 4
    The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth /
    by McDonough, Richard M., 1950-
    Published 1986
    Connect to the full text of this electronic book
    eBook
  5. 5
    Logic, sets, and recursion /
    by Causey, Robert L.
    Published 1994
    Connect to the full text of this electronic book
    eBook
  6. 6
    Inheritance theory : an artificial intelligence approach /
    by Al-Asady, Raad
    Published 1995
    Connect to the full text of this electronic book
    eBook
  7. 7
    Schaum's outline of theory and problems of discrete mathematics /
    by Lipschutz, Seymour
    Published 1997
    Connect to the full text of this electronic book
    eBook
  8. 8
    Mathematical logic quarterly : MLQ.
    Journal
  9. 9
    Archive for mathematical logic.
    Journal
  10. 10
    The journal of symbolic logic.
    Published 1936
    Journal
  11. 11
    Minds and machines.
    Journal
  12. 12
    Algebra and logic.
    Journal
  13. 13
    Russell's hidden substitutional theory /
    by Landini, Gregory
    Published 1998
    Connect to the full text of this electronic book
    eBook
  14. 14
    Essentials of symbolic logic /
    by Simpson, R. L., 1934-
    Published 1999
    Connect to the full text of this electronic book
    eBook
  15. 15
    Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá /
    Published 1999
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  16. 16
    Elements of scientific inquiry /
    by Martin, Eric, 1962-
    Published 1998
    Connect to the full text of this electronic book
    eBook
  17. 17
    In the light of logic /
    by Feferman, Solomon
    Published 1998
    Connect to the full text of this electronic book
    eBook
  18. 18
    Annals of mathematical logic.
    Journal
  19. 19
    The bulletin of symbolic logic.
    Published 1995
    Journal
  20. 20
    Journal of logic and computation.
    Journal
Search Tools: RSS Feed – Email Search