Search results
- Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum. Berlin : Springer, 1999 . xiii, 360 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. Berlin ; Heidelberg ; New York : Springer, 1998 . xiv, 460 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book
- Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. Berlin ; Heidelberg : Springer, 1993 . xiv, 460 stran
http://krameriusndk.nkp.cz/search/handle/uuid:12dcc100-1dcb-11e2-a61d-005056827e52Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 2 0 0 book