| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
The theory of Gödel/ by Carlo Cellucci. |
| Author: |
Cellucci, Carlo. |
| Published: |
Cham :Springer International Publishing : : 2022., |
| Description: |
ix, 159 p. :ill., digital ;24 cm. |
| [NT 15003449]: |
First-Order Logic -- Completeness -- First-Order Theories -- Primitive Recursive Arithmetic -- Encoding -- Incompleteness -- Other Limitative Results -- Second-Order Logic -- Second-Order Arithmetic -- Appendix. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Godel's theorem. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-13417-3 |
| ISBN: |
9783031134173 |