著者典拠情報

著者標目形：
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


1.

図書
図書
1. Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno, Czech Republic, August 1996, Proceedings
Petr Hájek (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in logic ; 6
所蔵情報: 図書館
2.

図書
図書
2. Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings (: gw)
Jiří Wiedermann, Petr Hájek (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 969
所蔵情報: 図書館
3.

図書
図書
3. Metamathematics of first-order arithmetic (: gw ; : us)
Petr Hájek, Pavel Pudlák
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Perspectives in mathematical logic
所蔵情報: 図書館, 研究室
4.

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