Metamathematics of First-Order Arithmetic
Metamathematics of First-Order Arithmetic
;
Cambridge University Press
03/2017
474
Dura
Inglês
9781107168411
910
Descrição não disponível.
Introduction; Preliminaries; Part I: 1. Arithmetic as number theory, set theory and logic; 2. Fragments and combinatorics; Part II: 3. Self-reference; 4. Models of fragments of arithmetic; Part III: 5. Bounded arithmetic; Bibliographical remarks and further reading; Bibliography; Index of terms; Index of symbols.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Introduction; Preliminaries; Part I: 1. Arithmetic as number theory, set theory and logic; 2. Fragments and combinatorics; Part II: 3. Self-reference; 4. Models of fragments of arithmetic; Part III: 5. Bounded arithmetic; Bibliographical remarks and further reading; Bibliography; Index of terms; Index of symbols.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
