同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: Mathematics Logic)
該当件数:190件
More precisely : the math you need to do philosophy / Eric Steinhart
2nd ed. - Peterborough, Ont. : Broadview Press , c2018
図書 <BB13057846>
Advances in Proof Theory / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer
Cham : Springer International Publishing : Imprint: Birkhäuser , 2016
電子書籍 <OB01018161>
Algebraic theories : a categorical introduction to general algebra / J. Adámek, J. Rosický, E.M. Vitale ; with a foreword by F.W. Lawvere
New York : Cambridge University Press , 2011. - (Cambridge tracts in mathematics ; 184)
図書 <BB12441397>
Theory of fuzzy computation / Apostolos Syropoulos
e-book. - New York : Springer Science , 2013. - (IFSR international series on systems science and engineering)
電子書籍 <OB01028350>
The shaping of deduction in Greek mathematics : a study in cognitive history / Reviel Netz
Cambridge ; New York : Cambridge University Press , 1999. - (Ideas in context / edited by Quentin Skinner (general editor) ... [et al.] ; 51)
図書 <BB00428047>
Dependence Logic : Theory and Applications / edited by Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
print. - Cham : Springer International Publishing : Imprint: Birkhäuser , 2016
電子書籍 <OB01018247>
Feferman on Foundations : Logic, Mathematics, Philosophy / edited by Gerhard Jäger, Wilfried Sieg
print. - Cham : Springer International Publishing : Imprint: Springer , 2017
電子書籍 <OB01038653>
The construction of logical space / Agustín Rayo
Oxford : Oxford University Press , 2013
図書 <BB12616354>
Nonstandard Analysis - Recent Developments
Trade Paper. - New York : Springer , April 2008. - (Lecture Notes in Mathematics Ser)
電子書籍 <OB00848347>
Recursion Theory Week
電子書籍 <OB00848737>
Recursion on the Countable Functionals
電子書籍 <OB00848736>
Isilc - Proof Theory Symposion
電子書籍 <OB00847886>
Victoria Symposium on Nonstandard Analysis
電子書籍 <OB00849410>
The Syntax and Semantics of Infinitary Languages
Perfect. - New York : Springer , Nov. 2007. - (Lecture Notes in Mathematics Ser)
電子書籍 <OB00849197>
Model Theory and Topoi
電子書籍 <OB00848214>
Mathematical Logic and Applications
Trade Paper. - New York : Springer , June 2008. - (Lecture Notes in Mathematics Ser)
電子書籍 <OB00848100>
Logic Colloquium
電子書籍 <OB00848042>
Logic Year 1979-80
電子書籍 <OB00848044>
Methods in Mathematical Logic
電子書籍 <OB00848199>
Cambridge Summer School in Mathematical Logic
Trade Paper. - New York : Springer , Jan. 2008. - (Lecture Notes in Mathematics Ser)
電子書籍 <OB00846800>
Perspectives of Elementary Mathematics / by Gerhard P. Hochschild
print. - New York, NY : Springer New York , 1983
電子書籍 <OB00848519>
Proper Forcing / by Saharon Shelah
print. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1982
電子書籍 <OB00848674>
Naive Set Theory / by Paul R. Halmos
print. - New York, NY : Springer New York : Imprint: Springer , 1974
電子書籍 <OB00848278>
Logic and Structure / by Dirk Dalen
print. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980
電子書籍 <OB00848040>
print. - Second Edition.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1983
電子書籍 <OB00848041>
Self-Reference and Modal Logic / by C. Smoryński
print. - New York, NY : Springer New York , 1985
電子書籍 <OB00848849>
Towards an Arithmetical Logic : The Arithmetical Foundations of Logic / by Yvon Gauthier
print. - Cham : Springer International Publishing : Imprint: Birkhäuser , 2015
電子書籍 <OB01016945>
Combinatorial Algorithms on Words / edited by Alberto Apostolico, Zvi Galil
print - print. - 1st ed. 1985.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985
電子書籍 <OB01019058>
Algebra for Computer Science / by Lars Gårding, Torbjörn Tambour
print. - New York, NY : Springer US , 1988
電子書籍 <OB00846494>
Design Considerations of Time in Fuzzy Systems / by J. Virant
print - print. - 1st ed. 2000.. - New York, NY : Springer US : Imprint: Springer , 2000
電子書籍 <OB01024185>
Combinatorial Set Theory : With a Gentle Introduction to Forcing / by Lorenz J. Halbeisen
print. - 2nd ed. 2017.. - Cham : Springer International Publishing : Imprint: Springer , 2017
電子書籍 <OB01038073>
Simple Relation Algebras / by Steven Givant, Hajnal Andréka
電子書籍 <OB01040584>
Constructive Mathematics
電子書籍 <OB00847016>
New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014 / edited by Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta
print - print. - 1st ed. 2015.. - New Delhi : Springer India : Imprint: Springer , 2015
電子書籍 <OB01016796>
The Square of Opposition: A Cornerstone of Thought / edited by Jean-Yves Béziau, Gianfranco Basti
print. - Cham : Springer International Publishing : Imprint: Birkhäuser , 2017
電子書籍 <OB01040778>
Logic : a brief course / Daniele Mundici
Milan ; New York : Springer , c2012
電子書籍 <OB01025947>
The meaning of the concept of probability in application to finite sequences / Hilary Putnam
: hbk. - Abingdon : Routledge , 2011, c1990. - (Routledge revivals)
図書 <BB12662799>
Logica : Volume 1 Dimostrazioni e modelli al primo ordine / by Vito Michele Abrusci, Lorenzo Tortora Falco
print. - Milano : Springer Milan : Imprint: Springer , 2014
電子書籍 <OB01025958>
ISSAC 98 : ISSAC: International Conference on Symbolic and Algebraic Computation
Trade Cloth. - New York : Association for Computing Machinery , Oct. 1998
電子書籍 <OB00745969>
Turing’s Revolution : The Impact of His Ideas about Computability / edited by Giovanni Sommaruga, Thomas Strahm
print. - 1st ed. 2015.. - Cham : Springer International Publishing : Imprint: Birkhäuser , 2015
電子書籍 <OB01016948>
Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 / edited by Shier Ju, Benedikt Löwe, Thomas Müller, Yun Xie
電子書籍 <OB01018241>
Logic as universal science : Russell's early logicism and its philosophical context / Anssi Korhonen
Basingstoke : Palgrave Macmillan , 2013. - (History of analytic philosophy)
図書 <BB12590806>
Russell's philosophy of logical analysis: 1897-1905 /Jolen Galaugher
図書 <BB12862318>
The principles of mathematics revisited / Jaakko Hintikka
Cambridge ; New York : Cambridge University Press , 1996
図書 <BB00323370>
Principia mathematica to *56 / by Alfred North Whitehead and Bertrand Russell
: pbk. - Pbk. ed. - Cambridge : Cambridge University Press , 1962
図書 <BB00036685>
Model Theory and Arithmetic
Trade Cloth. - New York : Springer , April 2008. - (Lecture Notes in Mathematics Ser)
電子書籍 <OB00848213>
Gentzen's Centenary : The Quest for Consistency / edited by Reinhard Kahle, Michael Rathjen
print. - 1st ed. 2015.. - Cham : Springer International Publishing : Imprint: Springer , 2015
電子書籍 <OB01016642>
Around Classification Theory of Models
Trade Paper. - New York : Springer , April 1986. - (Lecture Notes in Mathematics Ser)
電子書籍 <OB00846664>
Toposes, Algebraic Geometry and Logic
電子書籍 <OB00849339>
Set Theory : With an Introduction to Real Point Sets / by Abhijit Dasgupta
print - print. - New York, NY : Springer New York : Imprint: Birkhèauser , 2014
電子書籍 <OB01027772>