First Course in Mathematical Logic (Dover Books on MaTHEMA 1.4tics) - Softcover

Book 62 of 302: Dover Books on Mathematics

Suppes, Patrick

 
9780486422596: First Course in Mathematical Logic (Dover Books on MaTHEMA 1.4tics)

Synopsis

Starting with symbolizing sentences and sentential connectives, this work 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. 1964 edition. Index.

"synopsis" may belong to another edition of this title.

Synopsis

Some 40 years after its original publication (Blaisdell Publishing Co., 1964), this reprint makes available Suppes' and Hill's (both, Stanford U.) text, which aims to provide an accessible and clear presentation of mathematical logic for high school and elementary college mathematics classrooms. Coverage includes the sentential theory of inference,

About the Author

Patrick Suppes (1922-2014) was the Lucie Stern Professor of Philosophy, Emeritus at Stanford University. He was the founder of the Computer Curriculum Corporation and the Suppes Brain Lab at Stanford, as well as the co-founder of the Institute for Mathematical Studies in Social Sciences.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9781114127173: First Course in Mathematical Logic (A Blaisdell book in the pure and applied sciences)

Featured Edition

ISBN 10:  1114127175 ISBN 13:  9781114127173
Publisher: Blaisdell Pub. Co, 1964
Hardcover