close
1.

図書
図書
1. Trends in logic : studia logica library
Wójcicki, Ryszard ; Hájek, Petr
出版情報: Dordrecht ; Boston : Kluwer Academic Publishers, c1997-  v. ; 25 cm
所蔵情報: loading…
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  xiii, 588 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 969
所蔵情報: loading…
3.

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

電子ブック
ＥＢ
4. Banach Space Theory
Marián Fabian, Marián Fabian, Marián J. Fabian, Petr Habala, Petr Hájek, Vicente Montesinos, Václav Zizler
出版情報: SpringerLink Books - AutoHoldings , Springer New York, 2011
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Mathematical Foundations of Computer Science 1995
Symposium on Mathematical Foundations of Computer Science (1972- ), Petr Hájek, Juraj Wiedermann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1995
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼