00958nam0-22003491i-450-9900013202104033213-540-50632-2000132021FED01000132021(Aleph)000132021FED0100013202120000920d1993----km-y0itay50------baengMetamathematics of First-Order ArithmeticPetr Hajek, Pavel Pudlàk.BerlinSpringer-Verlagc1993XIV, 460 p.25 cmAritmeticaFondamenti513.01Hajek,Petr48949Pudlak,PavelITUNINARICAUNIMARCBK990001320210403321124-B-1010782MA1C-48-(1810627MA1124-L-1712384MA1MA103F3011U10Metamathematics of first-order arithmetic342148UNINAING01