Showing 1 - 20 results of 1,533 for search '', query time: 0.19s Refine Results
  1. 1
    A formalization of set theory without variables /
    by Tarski, Alfred, 1901-1983
    Published 1987
    Book
  2. 2
    Temporal logics and their applications /
    Published 1987
    Book
  3. 3
    Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
    Published 1988
    Conference Proceeding Book
  4. 4
    Mathematical intuitionism : introduction to proof theory /
    Book
  5. 5
    An object-based logic programming language /
    Link to OAKTrust copy
    Thesis eBook
  6. 6
    Non-standard logics for automated reasoning /
    Published 1988
    Book
  7. 7
    Introduction to logic for systems modelling /
    by Pinkava, Václav
    Published 1988
    Book
  8. 8
    Algebra, combinatorics and logic in computer science /
    Published 1986
    Conference Proceeding Book
  9. 9
    The logic of discovery /
    Book
  10. 10
    Einfuhrung in die symbolische Logik mit besonderer Berucksichtigung ihrer Anwendungen.
    by Carnap, Rudolf, 1891-1970
    Published 1960
    Book
  11. 11
    Whitehead's concept of logic.
    by Smith, Raymond, 1920-
    Published 1953
    Book
  12. 12
    Notebooks, 1914-1916 /
    Book
  13. 13
    Posthumous writings /
    by Frege, Gottlob, 1848-1925
    Published 1979
    Book
  14. 14
    6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
    Published 1982
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  15. 15
    Methodes et concepts de la logique formelle /
    by Gauthier, Yvon
    Published 1978
    Book
  16. 16
    An examination of logical positivism /
    Book
  17. 17
    A survey of symbolic logic.
    Book
  18. 18
    An investigation of the laws of thought.
    by Boole, George, 1815-1864
    Published 1951
    Book
  19. 19
    Introduction to semantics.
    by Carnap, Rudolf, 1891-1970
    Published 1942
    Book
  20. 20
    Meaning and necessity : a study in semantics and modal logic /
    by Carnap, Rudolf, 1891-1970
    Published 1956
    Book
Search Tools: RSS Feed – Email Search