A course on mathematical logic
Preface -- 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 -- Refere...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Springer
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/28189 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | English |
| id |
oai:112.137.131.14:VNU_123-28189 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-281892020-06-21T02:54:20Z A course on mathematical logic Srivastava, S. M. Mathematics Statistics ; Logic, Symbolic and mathematical. 511.3 Preface -- 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 -- References -- Index 2017-04-14T00:42:49Z 2017-04-14T00:42:49Z 2008 Book 9780387762777 http://repository.vnu.edu.vn/handle/VNU_123/28189 en 153 p. application/pdf Springer |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Mathematics Statistics ; Logic, Symbolic and mathematical. 511.3 |
| spellingShingle |
Mathematics Statistics ; Logic, Symbolic and mathematical. 511.3 Srivastava, S. M. A course on mathematical logic |
| description |
Preface -- 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 -- References -- Index |
| format |
Book |
| author |
Srivastava, S. M. |
| author_facet |
Srivastava, S. M. |
| author_sort |
Srivastava, S. M. |
| title |
A course on mathematical logic |
| title_short |
A course on mathematical logic |
| title_full |
A course on mathematical logic |
| title_fullStr |
A course on mathematical logic |
| title_full_unstemmed |
A course on mathematical logic |
| title_sort |
course on mathematical logic |
| publisher |
Springer |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/28189 |
| _version_ |
1680963350930915328 |