01304nam0-22004691i-450-9900011765404033213-540-63648-X000117654FED01000117654(Aleph)000117654FED0100011765420000920d1998----km-y0itay50------baengMetamathematics of first-order arithmeticPetr Hajek, Pavel PudlakSecond printingBerlin [etc.]Springer1998xiv, 460 p.24 cmPerspectives in mathematical logic2nd printing 1998 of the first edition 1993Logica matematicaAritmetica del i ordineComplessita di computabilitaClassi di complessitaTeoria dei modelliAritmetica non standard511.3Hajek,Petr48949Pudlak,PavelITUNINARICAUNIMARCBK990001176540403321C-48-(2516048MA1MA103-XX03F3003D1568Q1511U0911U10Metamathematics of first-order arithmetic342148UNINAING01