检索到 12 条 分类号=164 的结果
-
日文图书1.日本神話伝説の研究.増訂 J/B932/1:2/V.1, J/B932/1:2/V.2
馆藏复本：6
可借复本：0 高木敏雄著
平凡社 1973.10-1974.5
(0) 馆藏 -
日文图书2.世界の神々と神話の謎 J/B932/2
馆藏复本：1
可借复本：0 歴史雑学探究倶楽部編
学研パブリッシング; 2013.6
(0) 馆藏 -
日文图书3.母権と父権の文化史:母神信仰から代理母まで J/Z131.3/1/V.166
馆藏复本：1
可借复本：1 市川茂孝著
農山漁村文化協会 1993.2
(0) 馆藏 -
西文图书4.Principles of mathematical logic / O141/HD
馆藏复本：1
可借复本：1 by D. Hilbert and W. Ackermann; translated from the German by Lewis M. Hammond, George G. Leckie [an
Chelsea Pub. Co., 1950.
(0) 馆藏 -
西文图书5.Logic for mathematicians / O141/RJB
馆藏复本：3
可借复本：3 J Barkley Rosser.
McGraw-Hill, 1953.
(0) 馆藏 -
西文图书6.Introduction to mathematical logic / O141/CA
馆藏复本：1
可借复本：1 by Alonzo Church.
Princeton University Press, 1956-
(0) 馆藏 -
西文图书7.Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel / O143/MA
馆藏复本：1
可借复本：1 Andrzej Mostowski.
North-Holland Pub. Co., 1952.
(0) 馆藏 -
中文图书8.On the metamathematics of algebra / 512.81/R561
馆藏复本：1
可借复本：1 Abraham Robinson.
North-Holland Pub. Co., 1951.
(0) 馆藏 -
西文图书9.The elements of mathematical logic / 1st ed. O141/RPC
馆藏复本：1
可借复本：1 by Paul C. Rosenbloom.
Dover Publications, 1950.
(0) 馆藏 -
西文图书10.Mathematical logic O141/SJR
馆藏复本：2
可借复本：1 [by] Joseph R. Shoenfield.
Addison-Wesley Pub. Co. [1967]
(0) 馆藏 -
西文图书11.Mathematical interpretation of formal systems / O1-0/MIF
馆藏复本：2
可借复本：2 [by] Th. Skolem ... [et al.]
North-Holland Pub. Co., c1955.
(0) 馆藏 -
日文图书12.神々と英雄と女性たち:美術が語る古代ギリシアの世界 J/J209/1
馆藏复本：1
可借复本：1 長田年弘著
中央公論社 1997
(0) 馆藏
