Metamathematics of First-Order Arithmetic Pudlak, Pavel Hajek, Petr 9781107168411 Perspectives in Logic Innbundet 02.03.2017 Engelsk Produseres på bestilling