城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA8.9-10.3)
該当件数:332件
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
1st ed. 2021.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2021). - (Springer Proceedings in Mathematics & Statistics. ISSN:21941017 ; 369)
電子ブック
Great Circle of Mysteries : Mathematics, the World, the Mind / by Misha Gromov
1st ed. 2018.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2018)
Introduction to Mathematical Logic / by Hans Hermes
1st ed. 1973.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1973). - (Universitext. ISSN:21916675)
Logic and Structure / by Dirk van Dalen
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Universitext. ISSN:21916675)
Mechanizing Hypothesis Formation : Mathematical Foundations for a General Theory / by P. Hajek, T. Havranek
1st ed. 1978.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1978). - (Universitext. ISSN:21916675)
2nd ed. 1983.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1983). - (Universitext. ISSN:21916675)
3rd ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Universitext. ISSN:21916675)
Self-Reference and Modal Logic / by Craig Smorynski
1st ed. 1985.. - (New York, NY : Springer New York : Imprint: Springer , 1985). - (Universitext. ISSN:21916675)
Naive Set Theory / by P. R. Halmos
1st ed. 1974.. - (New York, NY : Springer New York : Imprint: Springer , 1974). - (Undergraduate Texts in Mathematics. ISSN:21975604)
Fuzzy Multiple Objective Decision Making : Methods and Applications / by Young-Jou Lai, Ching-Lai Hwang
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Economics and Mathematical Systems. ISSN:21969957 ; 404)
Theory of Sets / by N. Bourbaki
1st ed. 2004.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2004)
Collegium Logicum
1st ed. 1995.. - (Vienna : Springer Vienna : Imprint: Springer , 1995). - (Collegium Logicum, Annals of the Kurt-Gödel-Society ; 1)
1st ed. 1996.. - (Vienna : Springer Vienna : Imprint: Springer , 1996). - (Collegium Logicum, Annals of the Kurt-Gödel-Society ; 2)
A Beginner’s Guide to Finite Mathematics : For Business, Management, and the Social Sciences / by W.D. Wallis
1st ed. 2004.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 2004)
A Beginner’s Guide to Discrete Mathematics / by W.D. Wallis
1st ed. 2003.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 2003)
An Outline of Set Theory / by James M. Henle
1st ed. 1986.. - (New York, NY : Springer New York : Imprint: Springer , 1986). - (Problem Books in Mathematics. ISSN:21978506)
Algebra for Computer Science / by Lars Garding, Torbjörn Tambour
1st ed. 1988.. - (New York, NY : Springer New York : Imprint: Springer , 1988). - (Universitext. ISSN:21916675)
Fuzzy Evolutionary Computation / edited by Witold Pedrycz
1st ed. 1997.. - (New York, NY : Springer US : Imprint: Springer , 1997)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis / edited by Anne S. Troelstra
1st ed. 1973.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1973). - (Lecture Notes in Mathematics. ISSN:16179692 ; 344)
ISILC - Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / herausgegeben von J. Diller, G.H. Müller
1st ed. 1975.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1975). - (Lecture Notes in Mathematics. ISSN:16179692 ; 500)