First Course in Mathematical Logic
This introduction to rigorous mathematical logic is simple enough in both presentation and context for students of a wide range of ages and abilities. Starting with symbolizing sentences and sentential connectives, it proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. Throughout the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism.
What people are saying - Write a review
Review: First Course in Mathematical LogicUser Review - Stephen - Goodreads
The exercises in the beginning reminded me of grammar exercises from the 1st grade--so fun. I do not remember ever having a class in logic, even though I was tutoring students in the course for a ... Read full review
TRUTH AND VALIDITY
TERMS PREDICATES AND UNIVERSAL QUANTIFIERS
UNIVERSAL SPECIFICATION AND LAWS OF IDENTITY
A SIMPLE MATHEMATICAL SYSTEM AXIOMS FOR ADDITION
JSTOR: First Course in Mathematical Logic.
First Course in Mathematical Logic. Ann M. Singleterry. The Journal of Symbolic Logic, Vol. 32, No. 3, 421-422. Sep., 1967. PATRICK SUPPES and SHIRLEY HILL. ...
Review: Patrick Suppes, Shirley Hill, First Course in Mathematical ...
Patrick Suppes, Shirley Hill, First Course in Mathematical Logic. Full-text: Access via JSTOR (no additional login). Go to this article in JSTOR ...
projecteuclid.org/ handle/ euclid.jsl/ 1183736000
www.pti.com.br : FIRST COURSE IN MATHEMATICAL LOGIC
Importacao de Publicacoes Tecnicas sob Demanda - Livros Revista Normas - FIRST COURSE IN MATHEMATICAL LOGIC Some 40 years after its original publication ...
www.pti.com.br/ view/ livro_resenha.php?lid=3419
Solutions to the exercises in First course in mathematical logic ...
BINFORD, Frederick. Solutions to the exercises in First course in mathematical logic. New York: Blaisdell, c1965. 173 p. ; Número de Chamada: lf2 -
volterra.impa.br/ arquivos/ 0/ 1500/ 105_1587.htm