ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(標準分類: 511.3)
該当件数:32件
Logic in Wonderland : an introduction to logic through reading Alice'a adventures in wonderland / Nitsa Movshovitz-Hadar, Atara Shriki
: student's workbook. - Singapore : World Scientific Publishing , c2019
図書 [BB28408948]
Stochastic coalgebraic logic / Ernst-Erich Doberkat
Berlin ; Heidelberg : Springer , c2010. - (Monographs in theoretical computer science)
図書
Soil mechanics, its principles and structural applications,
1st ed.. - New York : McGraw-Hill , 1941.. - London
Principles of geotechnical engineering / Braja M. Das, Khaled Sobhan
: electronic bk. - 8th ed., SI ed. - Stamford, Conn. : Cengage Learning , c2014
電子ブック
土の物理学 : 土質工学の基礎 / 土壌物理研究会編
東京 : 森北出版 , 1979.10
図書 [BN0074652X]
土質力学 / 最上武雄著
東京 : 岩波書店 , 1951. - (岩波全書 ; 第148)
改稿版. - 東京 : 岩波書店 , 1958. - (岩波全書)
絵とき地震による液状化とその対策 / 関東地質調査業協会液状化研究会編
東京 : オーム社 , 2012.9
図書 [BB10498485]
Transition to higher mathematics : structure and proof / Bob A. Dumas, John E. McCarthy
: hbk.. - Boston : McGraw-Hill , c2007. - (Walter Rudin student series in advanced mathematics)
図書 [GB24249978]
The mathematical method : a transition to advanced mathematics / Murray Eisenberg
Upper Saddle River, N.J. : Prentice Hall , c1996
図書 [BA2868305X]
The art of proof : basic training for deeper mathematics / Matthias Beck, Ross Geoghegan
New York : Springer , c2010. - (Undergraduate texts in mathematics)
図書 [BB03424117]
Mathematical proofs : a transition to advanced mathematics / Chartrand, Polimeni, Zhang
paperback,paperback. - 3rd ed, Pearson new international ed. - Harlow, Essex : Pearson Education , c2014. - (Pearson custom library)
図書 [GK51986767]
Gödel's proof / by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter
Rev. ed.. - New York : New York University Press , c2001
図書 [BA55742151]
Proofs and fundamentals : a first course in abstract mathematics / Ethan D. Bloch
: us,: sz. - Boston : Birkhäuser , c2000
図書 [BA47643551]
Independence-friendly logic : a game-theoretic approach / [by] Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
: pbk. - Cambridge, UK : Cambridge University Press , 2011. - (London Mathematical Society lecture note series ; 386)
図書 [BB05609510]
Logic of mathematics : a modern course of classical logic / Zofia Adamowicz, Pawe� Zbierski
New York : Wiley , �1997. - (Pure and applied mathematics)
A first journey through logic / Martin Hils, François Loeser
Providence, R.I. : American Mathematical Society , c2019. - (Student mathematical library ; v. 89)
図書 [BB28890878]
Kurt Gödel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz [and others]
(Cambridge : Cambridge University Press , 2011)
Proof theory and algebra in logic / Hiroakira Ono
Singapore : Springer , c2019. - (Short textbooks in logic / series editors, Fenrong Liu, Hiroakira Ono, Jeremy Seligman)
図書 [BB28915469]
活断層とどう向き合うか / 常田賢一, 片岡正次郎著
東京 : 理工図書 , 2012.11
図書 [BB10983538]
Philosophy of Mathematics / edited by Andrew D. Irvine
Amsterdam : North-Holland , 2009. - (Handbook of the philosophy of science / general editors, Dov M. Gabbay, Paul Thagard, and John Woods)
図書 [BA90999280]
Introduction to mathematical logic / Elliott Mendelson
6th ed. - Boca Raton : CRC Press , c2015. - (Textbooks in mathematics / series editor, Denny Gulick)
図書 [BB1923402X]
Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.)
: set. - Berlin : Springer , c1997
図書 [BA29766119]
Mathematical logic / by Joseph R. Shoenfield
: pbk. - Boca Raton, FL : CRC Press , 2010
図書 [BB11414924]
Introduction to mathematical structures and proofs / Larry J. Gerstein
2nd ed. - New York : Springer , c2012. - (Undergraduate texts in mathematics)
図書 [BB0947251X]
Classical mathematical logic : the semantic foundations of logic / Richard L. Epstein ; with contributions by Lesław W. Szczerba
Princeton, N.J. : Princeton University Press , c2006
図書 [BA77816604]
Computability theory / S. Barry Cooper
Boca Raton, Fla. : CRC Press , c2004. - (Chapman & Hall/CRC mathematics)
図書 [BA64717927]
Lectures on linear logic / A.S. Troelstra
: [hard],: pbk. - Stanford, Calif. : Center for the Study of Language and Information , c1992. - (CSLI lecture notes ; no. 29)
図書 [BA14283257]
Partiality, truth, and persistence / Tore Langholm
: pbk. - [Stanford, CA] : Center for the Study of Language and Information , c1988. - (CSLI lecture notes ; no. 15)
図書 [BA06646865]
Linear modeling : background and application / G. Rozenberg, A. Salomaa, (eds.)
: pbk. - Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2)
図書 [BA2976701X]
Word, language, grammar / G. Rozenberg, A. Salomaa, (eds.)
2 vols. set - v. 2. - Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1)
図書 [BA29765998]
Beyond words / G. Rozenberg, A. Salomaa, (eds.)
: [pbk]. - Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3)
図書 [BA29767144]
