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

Suppes, Patrick

Softcover

ISBN 10: 0486422593 ISBN 13: 9780486422596

Publisher: Dover Publications Inc, 2003

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.

About 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.

Edition details

• Publisher: Dover Publications Inc
• Publication date: 2003
• Language: English
• ISBN 10: 0486422593
• ISBN 13: 9780486422596
• Binding: Paperback
• Number of pages: 288