1.

図書
図書
1. 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…
2.

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