North-Holland1985.<MA41-A37>
National Diet Library
- Subject Headingモデルの理論. 数学基礎論. Modality (Logic) -- Addresses, essays, lectures. Constructive mathematics -- A...
Graeme ForbesClarendon Press1985
Other Libraries in Japan
organisé par la Faculté des lettres et sciences humaines de Metz, Centre d'analyse syntaxique, 5-6-7 novembre 1981 ; actes publiés par Jean David et Georges KleiberLe Centre1983
Other Libraries in Japan
edited by Karel LambertD. Reidelc1980
Other Libraries in Japan
edited by Simo KnuuttilaD. Reidelc1981
Other Libraries in Japan
edited by Leonard LinskyOxford University Press1977
Other Libraries in Japan
Nicholas Rescher ; with the collaboration of Ruth Manor ... [et al.]Blackwell1974
Other Libraries in Japan
[ответственные редакторы А.И. Михайлов]"Наука"1979
Other Libraries in Japan
edited by Farhang Zabeeh, E.D. Klemke, and Arthur JacobsonUniversity of Illinois Press[1974]
Other Libraries in Japan
edited by Michael J. LouxCornell University Press1979
Other Libraries in Japan
Jaakko HintikkaD. Reidelc1969
Other Libraries in Japan
Jaakko HintikkaD. Reidelc1975
Other Libraries in Japan
edited by Leonard LinskyOxford University Press1971
Other Libraries in Japan
edited by Karel LambertD. Reidelc1970
Other Libraries in Japan