Vytisknout
1. Metamathematics of first-order arithmetic
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 |