107 results Refine Results
  1. 1
    by Abraham, Adrian Quentin
    Published 1977
    “...University of Canterbury,...”
    Thesis Book
    Save to List
    Saved in:
    The semantics of classical relevant logics.
  2. 2
    by Cleary, John G.
    Published 1974
    “...University of Canterbury,...”
    Thesis Book
    Save to List
    Saved in:
    Automatic theorem proving in non-classical logics.
  3. 3
    “...The University Press,...”
    Book
    Save to List
    Saved in:
    Principia mathematica /
  4. 4
    by Khan, Wahidullah
    Published 1962
    “...University of Canterbury,...”
    Thesis Book
    Save to List
    Saved in:
    Algebra of classes.
  5. 5
    by Velleman, Daniel J.
    Published 1994
    “...Cambridge University,...”
    Book
    Save to List
    Saved in:
    How to prove it : a structured approach /
  6. 6
    “...University Press,...”
    Book
    Save to List
    Saved in:
    Mathematical logic with special reference to the natural numbers /
  7. 7
    by Carnap, Rudolf, 1891-1970
    Published 1956
    “...University of Chicago Press,...”
    Book
    Save to List
    Saved in:
    Meaning and necessity : A study in semantics and modal logic /
  8. 8
    by Jordan, Abigniew Antoni
    Published 1945
    “...Oxford University Press,...”
    Book
    Save to List
    Saved in:
    The development of mathematical logic : and of the logical positivism in Poland between the two wars.
  9. 9
    by Church, Alonzo, 1903-
    Published 1956
    “...Princeton University Press,...”
    Book
    Save to List
    Saved in:
    Introduction to mathematical logic.
  10. 10
    by Van Heijenoort, Jean, 1912-
    Published 1967
    “...Harvard University Press,...”
    Book
    Save to List
    Saved in:
    From Frege to Godel : a source book in mathematical logic, 1879-1931.
  11. 11
    by Bunt, Harry C.
    Published 1985
    “...Cambridge University Press,...”
    Book
    Save to List
    Saved in:
    Mass terms and model-theoretic semantics /
  12. 12
    by Boolos, George
    Published 1980
    “...Cambridge University Press,...”
    Book
    Save to List
    Saved in:
    Computability and logic /
  13. 13
    Published 1971
    “...Open University Press,...”
    Book
    Save to List
    Saved in:
    Logic.
  14. 14
    Published 1975
    “...Yale University Press,...”
    Book
    Save to List
    Saved in:
    The logical enterprise /
  15. 15
    by Gödel, Kurt
    Published 1940
    “...Princeton University Press,...”
    Book
    Save to List
    Saved in:
    The consistency of the axiom of choice : and of the generalized continuum-hypothesis with the axioms of set theory.
  16. 16
    by Lakatos, Imre, 1922-1974
    Published 1976
    “...Cambridge University Press,...”
    Book
    Save to List
    Saved in:
    Proofs and refutations : the logic of mathematical discovery /
  17. 17
    by Koslow, Arnold
    Published 1992
    “...Cambridge University Press,...”
    Book
    Save to List
    Saved in:
    A structuralist theory of logic /
  18. 18
    by Paris, J. B.
    Published 1994
    “...Cambridge University Press,...”
    Book
    Save to List
    Saved in:
    The uncertain reasoner's companion : a mathematical perspective /
  19. 19
    by Tennant, Neil, 1950-
    Published 1992
    “...Edinburgh University Press,...”
    Book
    Save to List
    Saved in:
    Autologic /
  20. 20
    by Dummett, Michael, 1925-2011
    Published 1991
    “...Harvard University Press,...”
    Book
    Save to List
    Saved in:
    Frege : philosophy of mathematics /

Search Tools: