TY - BOOK AU - Loehr,Nicholas A. AU - TI - An Introduction to Mathematical Proofs SN - 9780367338237 U1 - 511.36 PY - 2020///] CY - Boca Raton PB - CRC Press/Taylor & Francis Group KW - Mathematics KW - General Principles of Mathematics KW - Mathematical Logic KW - Symbolic Logic KW - Proof theory KW - Constructive Mathematics KW - Textbooks N1 - Includes bibliographical references and index; Logic -- Proofs -- Sets -- Integers -- Relations and functions -- Equivalence relations and partial orders -- Cardinality -- Real numbers (optional) N2 - "This book contains an introduction to mathematical proofs, including fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system. The book is divided into approximately fifty brief lectures. Each lecture corresponds rather closely to a single class meeting"-- ER -