Àâòîð: Petr Hajek Íàçâàíèå: Metamathematics of First-Order Arithmetic ISBN: 1107168414 ISBN-13(EAN): 9781107168411 Èçäàòåëüñòâî: Cambridge Academ Ðåéòèíã: Öåíà: 111620.00 T Íàëè÷èå íà ñêëàäå: Åñòü Îïèñàíèå: 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.