城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Mathematical logic)
該当件数:632件
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)
2nd ed. 1983.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1983). - (Universitext. ISSN:21916675)
Adaptive and Learning Systems : Theory and Applications / by Kumpati S. Narendra
1st ed. 1986.. - (New York, NY : Springer US : Imprint: Springer , 1986)
Advances in Fuzzy Sets, Possibility Theory, and Applications / edited by P.P. Wang
1st ed. 1983.. - (New York, NY : Springer US : Imprint: Springer , 1983)
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)
Theory of Sets / by N. Bourbaki
1st ed. 2004.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2004)
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)
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)
ISILC - Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff
1st ed. 1975.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1975). - (Lecture Notes in Mathematics. ISSN:16179692 ; 499)
Recursion on the Countable Functionals / by D. Normann
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Mathematics. ISSN:16179692 ; 811)
Cabal Seminar 77 – 79 : Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 / edited by A. S. Kechris, D. A. Martin, Y. N. Moschovakis
1st ed. 1981.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981). - (Lecture Notes in Mathematics. ISSN:16179692 ; 839)
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies / by W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
1st ed. 1981.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981). - (Lecture Notes in Mathematics. ISSN:16179692 ; 897)
Cabal Seminar 79-81 : Proceedings. Caltech-UCLA Logic Seminar 1979-81 / edited by A. S. Kechris, D. A. Martin, Y. N. Moschovakis
1st ed. 1983.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1983). - (Lecture Notes in Mathematics. ISSN:16179692 ; 1019)
Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979 / edited by R.B. Jensen, A. Prestel
1st ed. 1981.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981). - (Lecture Notes in Mathematics. ISSN:16179692 ; 872)
Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman
1st ed. 1981.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981). - (Lecture Notes in Mathematics. ISSN:16179692 ; 873)