Godina izdanja: 1998.
ISBN: 3-540-63648-X
Jezik: Engleski
Oblast: Matematika
Autor: Strani

Petr Hajek, Pavel Pudlak `Metamathematics of First-Order Arithmetic`
1998. Springer-Verlag
460 strana
broširan povez
printed on acid-free paper
Knjiga je lagano nagnječena u donjem levom uglu naslovne strane uz riknu, što se može videti na slici . Ako se to izuzme, u pitanju je nekorišćen, odličan primerak
ključne reči: aritmetika prvog reda i fragmenti, teorija brojeva i teorija modela, nestandardna aritmetika, klase složenosti izračunavanja