著者典拠情報

標目形:
Hájek, Petr
属性:
Personal
注記:
His Metoda GUHA, 1983: t.p. (Petr Hájek) colophon (RNDr.)
LC data base, 10-23-84 (hdg.: Hájek, Petr)
著者典拠ID:
DA01209677


 close
1.

図書

図書
Jiří Wiedermann, Petr Hájek (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 969
所蔵情報: loading…
2.

図書

図書
Petr Hájek, Pavel Pudlák
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Perspectives in mathematical logic
所蔵情報: loading…
3.

図書

図書
P. Hájek, T. Havránek
出版情報: Berlin ; New York : Springer-Verlag, 1978
シリーズ名: Universitext
所蔵情報: loading…
4.

図書

図書
[by] Petr Vopěnka and Petr Hájek
出版情報: Amsterdam : North-Holland, 1972
シリーズ名: Studies in logic and the foundations of mathematics ; v. 70
所蔵情報: loading…