An introduction to mathematical logic and type theory
Book
·
OSTI ID:7204034
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
Similar Records
Automated reasoning: Introduction and applications
Quantificational logic of context
Proceedings of a symposium on logic in computer science
Book
·
Sat Dec 31 23:00:00 EST 1983
·
OSTI ID:6003867
Quantificational logic of context
Conference
·
Mon Dec 30 23:00:00 EST 1996
·
OSTI ID:430715
Proceedings of a symposium on logic in computer science
Conference
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:6118612