close
1.

図書
図書
1. Trends in logic : studia logica library
Wójcicki, Ryszard ; Hájek, Petr
出版情報: Dordrecht ; Boston : Kluwer Academic Publishers, c1997-
所蔵情報: 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…