E-book
A Course on Mathematical Logic
Record details
- ISBN: 9781461457466
-
Physical Description:
electronic
electronic resource
access
remote
XII, 198 p. online resource. - Edition: 2nd ed. 2013.
- Publisher: New York, NY : Springer New York : Imprint: Springer, 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. |
