Introduction to Mathematical Logic / Edition 1

Introduction to Mathematical Logic / Edition 1

by Richard E. Hodel
     
 

Comprehensive overview, suitable for advanced undergraduates and graduate students, covers propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition.See more details below

Overview

Comprehensive overview, suitable for advanced undergraduates and graduate students, covers propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition.

Product Details

ISBN-13:
9780534944407
Publisher:
Brooks/Cole
Publication date:
01/28/1995
Pages:
512
Product dimensions:
6.69(w) x 9.84(h) x (d)

Meet the Author

Table of Contents

Preface
1. Background
2. Language and Semantics of Propositional Logic
3. Propositional Logic
4. First-Order Languages
5. First-Order Logic
6. Mathematics and Logic
7. Incompleteness, Undecidability and Indefinability
8. Recursive Functions
9. Compatability Theory
10. Hilbert's Tenth Problem
Appendix: Number Theory
References and recommended readings
Index

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >