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