An introduction to mathematical logic and type theory

Book · Wed Jan 01 00:00:00 EST 1986

OSTI ID:7204034

Andrews, P B

Of the languages of symbolic logic, typed lambda-calculus (a formation of higher-order logic) is the most suitable for use in automated mathematical systems. This book begins with a study of propositional calculus and first-order logic, then provides a complete introduction to typed lambda-calculus. CONTENTS: Introduction. Propositional Calculus. First-Order Logic. Probability and Refutability. Further Topics in First-Order Logic. Type Theory. Formalized Number Theory. Incompleteness and Undecidability. Appendix: Summary of Theorems. Bibliography. Index.

• OSTI ID: 7204034
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
MATHEMATICAL LOGIC
REVIEWS
MATHEMATICS
PROBABILITY
DOCUMENT TYPES
990200* - Mathematics & Computers