01603nam0 2200361 i 450 SUN005202820160118123416.35335-406-3648-X0.0020060912d1998 |0engc50 baengDE|||| |||||*Metamathematics of first-order arithmeticPetr Hájek, Pavel PudlákSecond printingBerlinSpringer1998XIV, 460 p.24 cm.001SUN00508172001 *Perspectives in mathematical logic210 BerlinSpringer1987-1997.03D15Complexity of computation [MSC 2020]MFSUNC02363011U09Model theory (number-theoretic aspects) [MSC 2020]MFSUNC02378903F30First-order arithmetic and fragments [MSC 2020]MFSUNC02440103H15Nonstandard models of arithmetic [MSC 2020]MFSUNC02440211U10Nonstandard arithmetic (number-theoretic aspects) [MSC 2020]MFSUNC024440BerlinSUNL000066Hájek, PetrSUNV04091548949Pudlák, PavelSUNV04091655693SpringerSUNV000178650Hajek, PetrHájek, PetrSUNV050746Pudlak, PavelPudlák, PavelSUNV050748ITSOL20201012RICASUN0052028UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1807 08 4491 I 20060912 Metamathematics of first-order arithmetic79056UNICAMPANIA