Reset Filters
CLC: O - 数理科学和化学

Cover is for reference only

Theorems, corollaries, lemmas, and methods of proof

Saved in:
Bibliographic Details
Main Authors: Rossi, Richard J., 1956
Published:
Literature type: Electronic eBook
Language: English
Series: Pure and applied mathematics
Subjects:
Proof theory > Textbooks
Mathematical analysis > Foundations > Textbooks
Logic, Symbolic and mathematical > Textbooks
Preuve, Théorie de la > Manuels d'enseignement supérieur
Analyse mathématique > Fondements > Manuels d'enseignement supérieur
Logique symbolique et mathématique > Manuels d'enseignement supérieur
MATHEMATICS > Infinity
MATHEMATICS > Logic
Wiskunde
Mathematik
Beweistheorie
Mathematische Logik
Logic, Symbolic and mathematical
Mathematical analysis > Foundations
Proof theory
Electronic books
Lehrbuch
Textbooks
Online Access: http://onlinelibrary.wiley.com/book/10.1002/9781118031575
Carrier Form: 1 online resource (xiii, 318 pages).
Bibliography: Includes bibliographical references and index.
ISBN: 9781118031575 (electronic bk.)
1118031571 (electronic bk.)
9781118030578 (electronic bk.)
1118030575 (electronic bk.)
Index Number: QA9
CLC: O141.2
Contents: Front Matter -- Introduction to Modern Mathematics -- An Introduction to Symbolic Logic -- Methods of Proof -- Introduction to Number Theory -- The Foundations of Calculus -- Foundations of Algebra -- References -- Index -- Pure and Applied Mathematics.

Related Book Recommendations