Metamathematics of First-Order Arithmetic

ISBN: 9781316731734 出版年：2017 页码：476 Petr Hajek Pavel Pudlak Cambridge University Press

Preliminaries.- A.- I: Arithmetic as Number Theory, Set Theory and Logic.- II: Fragments and Combinatorics.- B.- III: Self-Reference.- IV: Models of Fragments of Arithmetic.- C.- V: Bounded Arithmetic.- Bibliographical Remarks and Further Reading.- Index of Terms.- Index of Symbols.