Theory of Goedel
portes grátis
Theory of Goedel
Cellucci, Carlo
Springer International Publishing AG
11/2022
159
Dura
Inglês
9783031134166
15 a 20 dias
Descrição não disponível.
First-Order Logic.- Completeness.- First-Order Theories.- Primitive Recursive Arithmetic.- Encoding.- Incompleteness.- Other Limitative Results.- Second-Order Logic.- Second-Order Arithmetic.- Appendix.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Limitative results;Philosophy of Mathematics;Incompleteness Theorems;Hilbert's Programs;Foundations of Mathematics
First-Order Logic.- Completeness.- First-Order Theories.- Primitive Recursive Arithmetic.- Encoding.- Incompleteness.- Other Limitative Results.- Second-Order Logic.- Second-Order Arithmetic.- Appendix.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
