A Course on Mathematical Logic
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn Gödel s incompl...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
New York, NY :
Springer New York
[20..].
Cham : Springer Nature |
| Udgivelse: | 1st ed. 2008. |
| Serier: | Universitext
|
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
L'impression du document génère 152 p. Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • A course on mathematical logic, S. M. Srivastava, New York, Springer, 2008, 1 vol. (x-140 p.), Universitext, 978-0-387-76275-3 • A Course on Mathematical Logic, Texte imprimé, 9780387521626 • A course on mathematical logic, S. M. Srivastava, New York, Springer, 2008, 1 vol. (x-140 p.), Universitext, 978-0-387-76275-3 |
Indholdsfortegnelse:
- Syntax of First-Order Logic Semantics of First-Order Languages Propositional Logic Proof and Metatheorems in First-Order Logic Completeness Theorem and Model Theory Recursive Functions and Arithmetization of Theories Incompleteness Theorems and Recursion Theory