close
1.

電子ブック
ＥＢ
1. Banach Space Theory : The Basis for Linear and Nonlinear Analysis
by Marián Fabian, Petr Habala, Petr Hájek, Vicente Montesinos, Václav Zizler
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: CMS Books in Mathematics, Ouvrages de mathématiques de la SMC ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-7515-7
所蔵情報: 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
シリーズ名: Lecture notes in computer science ; 969
所蔵情報: loading…
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
所蔵情報: loading…
4.

図書
図書
4. Mechanizing hypothesis formation : mathematical foundations for a general theory
P. Hájek, T. Havránek
出版情報: Berlin ; New York : Springer-Verlag, 1978
シリーズ名: Universitext
所蔵情報: loading…
5.

図書
図書
5. 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
所蔵情報: loading…