Metamathematics of First-Order Arithmetic
Pudlak, Pavel Hajek, Petr
Perspectives in Logic
|
Innbundet
Produseres på bestilling
Leveringstid: 3-10 dager
Handlinger
Beskrivelse
Omtale
This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.
-
Utgivelsesdato:
02.03.2017
-
ISBN/Varenr:
9781107168411
-
Språk:
Engelsk
-
Forlag:
Cambridge University Press
-
Fagtema:
Matematikk og naturvitenskap
-
Litteraturtype:
Faglitteratur
-
Sider:
474
-
Høyde:
24 cm
-
Bredde:
16.2 cm
Andre bøker i samme serie
Degrees of Unsolvability : Local and Global Theory
Lerman, Manuel
9781107168138 Perspectives in Logic Innbundet
06.04.2017
Engelsk
Produseres på bestilling
Proper and Improper Forcing
Shelah, Saharon
9781107168367 Perspectives in Logic Innbundet
23.03.2017
Engelsk
Produseres på bestilling
Constructibility
Devlin, Keith J.
9781107168350 Perspectives in Logic Innbundet
16.03.2017
Engelsk
Produseres på bestilling
Essential Stability Theory
Buechler, Steven
9781107168398 Perspectives in Logic Innbundet
02.03.2017
Engelsk
Produseres på bestilling
General Recursion Theory : An Axiomatic Approach
Fenstad, Jens E.
9781107168169 Perspectives in Logic Innbundet
02.03.2017
Engelsk
Produseres på bestilling
Fundamentals of Stability Theory
Baldwin, John T.
9781107168091 Perspectives in Logic Innbundet
02.03.2017
Engelsk
Produseres på bestilling
Recursion-Theoretic Hierarchies
Hinman, Peter G.
9781107168244 Perspectives in Logic Innbundet
02.03.2017
Engelsk
Produseres på bestilling
Computability in Analysis and Physics
Richards, J. Ian • Pour-El, Marian B.
9781107168442 Perspectives in Logic Innbundet
02.03.2017
Engelsk
Produseres på bestilling
Higher Recursion Theory
Sacks, Gerald E.
9781107168435 Perspectives in Logic Innbundet
02.03.2017
Engelsk
Produseres på bestilling