close
1.

図書
図書
1. Foundations of mathematics : questions of analysis, geometry & algorithmics (: gw ; : us)
Erwin Engeler ; translated by Charles B. Thomas
出版情報: Berlin ; New York : Springer, c1993
所蔵情報: loading…
2.

図書
図書
2. A relational theory of computing (: gw ; : us)
John G. Sanderson
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 82
所蔵情報: loading…
3.

図書
図書
3. Gödel, Escher, Bach : an eternal golden braid
Douglas R. Hofstadter
出版情報: New York : Basic Books, c1979
所蔵情報: loading…
4.

図書
図書
4. Introduction to model theory and to the metamathematics of algebra. 2nd ed.
Abraham Robinson
出版情報: Amsterdam : North-Holland Pub. Co., 1965
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…