城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: 511.3)
該当件数:440件
Elements of mathematical logic and set theory / by J. Słupecki and L. Borkowski ; translated by O. Wojtasiewicz
Oxford : Pergamon Press. - Warszawa : PWN-Polish Scientific Pub. , c1967. - (International series of monographs on pure and applied mathematics ; v. 96)
図書
Dynamics of nonhalting networks / Swee Hong Chan, Lionel Levine
: pbk. - Providence, RI : American Mathematical Society , c2022. - (Memoirs of the American Mathematical Society ; no. 1358 . Abelian networks ; IV)
液状化の脅威 / 濱田政則著
東京 : 岩波書店 , 2012.3. - (叢書震災と社会)
A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability / Rod Downey, Noam Greenberg
: pbk,: [hardback]. - Princeton : Princeton University Press , 2020. - (Annals of mathematics studies ; no. 206)
トコトンやさしい地盤工学の本 / 安田進著
東京 : 日刊工業新聞社 , 2020.3. - (B&Tブックス ; . 今日からモノ知りシリーズ)
Degree spectra of relations on a cone / Matthew Harrison-Trainor
Providence, RI : American Mathematical Society , c2018. - (Memoirs of the American Mathematical Society ; no. 1208)
Semirings, automata, languages / Werner Kuich, Arto Salomaa
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1986. - (EATCS monographs on theoretical computer science ; v. 5)
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore
Providence, Rhode Island : American Mathematical Society , 2017. - (Memoirs of the American Mathematical Society ; no. 1187)
地盤環境工学 = Geo‐environmental engineering / 嘉門雅史, 大嶺聖, 勝見武著
東京 : 共立出版 , 2010.11
Set theory : with an introduction to descriptive set theory / K. Kuratowski and A. Mostowski.
v. 86. - 2d completely rev. ed.. - Amsterdam : North-Holland , 1976. - New York : distributor, Elsevier/North-Holland , 1976. - (Studies in logic and the foundations of mathematics ; v. 86)
わかりやすい土の力学 / 今井五郎 著
東京 : 鹿島出版会 , 1983.4
土質力学 / 最上武雄 著
148. - 改稿版. - 東京 : 岩波書店 , 1958.7. - (岩波全書 ; 148)
建築地盤調査法 / 大崎順彦 著
東京 : オーム社 , 1958.10. - (OHM文庫)
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa.
v. 99. - Amsterdam : North-Holland , 1980. - New York : Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 99)
Predicate logic : introduction to logic / Howard Pospesel.
Englewood Cliffs, N.J. : Prentice-Hall , 1976
Modern uses of multiple-valued logic : invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975 / edited by J. Michael Dunn and George Epstein ; with a bibliography of many-valued logic by Robert G. Wolf.
v. 2. - Dordrecht, Holland : D. Reidel Pub. Co. , c1977.. - (Episteme ; v. 2)
Introduction to the basic concepts and problems of modern logic / {by} G. Hasenjaeger. {Translated from the German by E. C. M. Mays}
Dordrecht, Holland : D. Reidel Pub. Co. , {1972}
Les nombres premiers
571. - {1. e?.}. - Paris : Presses universitaires de France , 1953. - ("Que sais-je?" Le point des connaissances actuelles ; 571)
Ordinal algebras / with appendices by Chen-Chung Chang and Bjarni J?nsson.
Amsterdam : North-Holland , 1956. - (Studies in logic and the foundations of mathematics)
Introduction to set theory / {by} J. Donald Monk.
New York : McGraw-Hill , {1969}. - (International series in pure and applied mathematics)