The Art of Logic
by Nuel Belnap
Publisher: University of Pittsburgh 2009
Number of pages: 314
Contents: Grammar; The art of the logic of truth-functional connectives; Quantifier proofs; A modicum of set theory; Symbolizing English quantifiers; Quantifier semantics - interpretation and counterexample; Theories; Definitions.
Home page url
Download or read it online for free here:
by Wolfram Pohlers, Thomas Glass
This text treats pure logic and in this connection introduces to basic proof-theoretic techniques. Fundamentals of model theory and those of recursion theory are dealt with. Furthermore, some extensions of first order logic are treated.
by Karlis Podnieks - University of Latvia
Textbook for students in mathematical logic and foundations of mathematics. Contents: Platonism, intuition and the nature of mathematics; Axiomatic Set Theory; First Order Arithmetic; Hilbert's Tenth Problem; Incompleteness Theorems; Godel's Theorem.
by Louis Couturat - Project Gutenberg
Mathematical Logic is a necessary preliminary to logical Mathematics. The present work is concerned with the 'calculus ratiocinator' aspect, and shows, in an admirably succinct form, the beauty of the calculus of logic regarded as an algebra.
by Bertrand Russell - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.