E-book
A Course on Mathematical Logic [electronic resource] / by Shashi Mohan Srivastava.
Record details
- ISBN: 9781461457466
- Physical Description: XII, 198 p. online resource.
- Edition: 2nd ed. 2013.
- Publisher: New York, NY : Springer New York : 2013.
Search for related items by subject
| Subject: | Mathematics. Computer science. Algebra. Logic, Symbolic and mathematical. Mathematics. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Algebra. |
Search for related items by series
Other Formats and Editions
Electronic resources
| Preface | ||
| 1 Syntax of First-Order Logic | ||
| 2 Semantics of First-Order Languages | ||
| 3 Propositional Logic | ||
| 4 Completeness Theorem for First-Order Logic | ||
| 5 Model Theory | ||
| 6 Recursive Functions and Arithmetization of Theories | ||
| 7 Incompleteness Theorems and Recursion Theory | ||
| References | ||
| Index. |
