amazon.com logic books

what is logic?Notes

What is Mathematical Logic?, J.N. Crossley et.al. [Crossley72] This book has pace: historical survey, completeness, models, turing machines, Gödel and set theory.. all in 80 pp. purchase from amazon purchase from ibs

first-order logicNotes

The Language of First Order Logic, Jon Barwise and John Etchemendy [Barwise92] A practical approach to learning logic. The book was designed for a first course in logic using the Tarki's World 4.0 software (Logic Software from CLSI), which comes with the book. for PC: purchase from amazon purchase from ibs for MAC: purchase from amazon purchase from ibs Methods of Logic, Willard Van Ormon Quine [Quine62] A lucid introductory text from one of the best. purchase from amazon purchase from ibs

Logic and PhilosophyNotes

Philosophy of Logics, Susan Haack [Haack78] A readable introduction with a slightly broader interpretation of "logic" than the average philosophy text. purchase from amazon purchase from ibs
Philosophy of Logic, Willard Van Orman Quine [Quine70] An excellent short (109pp) introduction with the emphasis on the philosophy. purchase from amazon purchase from ibs Notes
Metalogic - An Introduction to the Metatheory of Standard First-Order Logic, Geoffrey Hunter [Hunter71] An excellent second course for philosophy students who want a good technical understanding of classical first order logic. purchase from amazon purchase from ibs
Philosophical Logic - An Introduction, Sybil Wolfram [Wolfram89] A worthwhile fairly recent introduction to the kind of problems raised by philosophical logic. purchase from amazon purchase from ibs Notes
Possible Worlds - an introduction to Logic and its Philosophy, Raymond Bradley and Norman Swartz [Bradley79] A substantial (391pp) introduction with the emphasis on propositional and modal logics. purchase from amazon purchase from ibs

Logic and MathematicsNotes

Principia Mathematica to *56, Bertrand Russell and Alfred North Whitehead [Russell62] The logical and set theoretic1 parts of this great masterpiece, the first consistent logical formalisation of mathematics. Of it, Quine said: "This is the book that has meant most to me.". To understand it today, read [Quine69] first. purchase from amazon purchase from ibs
Foundations of Constructive Mathematics, Michael Beeson [Beeson80] A wide ranging study of the surprisingly diverse constructive approaches to the logical foundations of mathematics.purchase from amazonNotes Varieties of Constructive Mathematics, Douglas Bridges and Fred Richman [Bridges87] An introduction to and survey of the constructive approaches to pure mathematics.purchase from amazon purchase from ibs

Logic and ComputingNotes

Computability and Logic, George Boolos and Richard Jeffrey [Boolos74] A computationally oriented text for graduate or advanced undergraduate philosophy or mathematics students. purchase from amazon purchase from ibs

Logic and Set TheoryNotes

Notes on Logic and Set Theory, P.T. Johnstone [Johnstone72] A starter for those who want to understand how logic and set theory provide a foundation for mathematics. purchase from amazon purchase from ibs
Set Theory and its Logic, Willard Van Ormon Quine [Quine69] In the spirit of Principia Mathematica, Quine cleans up the story on how to formalise mathematics using logic (via set theory). purchase from amazon purchase from ibs Sets, Functions, and Logic, Keith Devlin [Devlin92] Provides a solid foundation in the basic logical concepts for university/college mathematics. purchase from amazon purchase from ibs
Set Theory - an Introduction to Independence Proofs, Kenneth Kunen [Kunen80] an introduction to relative consistency proofs in axiomatic set theory, intended as a text for graduate courses purchase from amazon purchase from ibs

Combinatory Logic and The Lambda CalculusNotes

Introduction to Combinators and the Lambda Calculus, Roger Hindley and Jonathan Seldin [Hindley86] A clear and thorough introduction to a topic fundamental to logic and computer science. purchase from amazon The Lambda Calculus - Its Syntax and Semantics, Henk Barendregt [Barenderegt84] A comprehensive reference on lambda-calculi and combinatory algebras. more info purchase from amazon purchase from ibs

See also: John Harrison's bibliography on formalised mathematics.


BookShop home © RBJ created 1997/4/19 modified 1998/9/6
1. Well, not strictly set theoretic. Propositional functions dressed up as classes.