Mathematics of first-order arithmetic

Podrobná bibliografie
Hlavní autoři: Hájek, Petr, 1940-2016 (Autor), Pudlák, Pavel (Autor)
Typ dokumentu: Kniha
Jazyk:angličtina
ISBN:3-540-63648-X
ISSN:0172-6641
Rok: Berlin : Springer, 1998
Edice:Perspectives in mathematical logic
Témata: