同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(書誌分類: QA9)
該当件数:105件
Methodisches Denken / Paul Lorenzen
Frankfurt (am Main) : Suhrkamp , 1974. - (Suhrkamp Taschenbuch Wissenschaft ; 73)
図書 <BB00031081>
A logical introduction to proof / Daniel W. Cunningham
hdbk. : acid-free paper,hdbk. : acid-free paper. - New York : Springer , 2012
電子書籍 <OB01025961>
A concise introduction to mathematical logic / Wolfgang Rautenberg
3rd ed.. - New York, NY : Springer , c2010. - (Universitext)
電子書籍 <OB01023948>
Aspects of mathematical logic : lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 / E. Casari (ed.)
Berlin ; New York : Springer : Firenze : C.I.M.E. Foundation , 2010
電子書籍 <OB01023451>
Logic and structure / Dirk van Dalen
pbk. : alk. paper,pbk. : alk. paper,ebk.. - 5th ed.. - London : Springer , c2013. - (Universitext ISSN:0172-5939)
電子書籍 <OB01025949>
Logic for computer scientists / Uwe Schöning
Boston : Birkhauser , 1999, c1989
電子書籍 <OB01025950>
Medial representations : mathematics, algorithms and applications / edited by Kaleem Siddiqi and Stephen M. Pizer
Dordrecht : Springer Science + Business Media B.V , 2008
電子書籍 <OB01026305>
Non-linear continuum theories : lectures given at a summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Bressanone (Bolzano), Italy, May 31-June 9, 1965 / G. Grioli, C. Truesdell (eds.)
e-book. - Berlin : Springer , 2011
電子書籍 <OB01026680>
Thinking in problems : how mathematicians find creative solutions / Alexander A. Roytvarf
alk. paper,alk. paper,ebk.. - New York : Birkhäuser , c2013
電子書籍 <OB01028379>
Towards mathematical philosophy : papers from the Studia Logica Conference Trends in Logic IV / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
Dordrecht ; London : Springer , 2008
電子書籍 <OB01028499>
Mathematical philosophy : a study of fate and freedom : lectures for educated laymen / by Cassius J. Keyser
New York : E.P. Dutton , c1922
図書 <BB10250903>
Introduction to mathematical philosophy / by Bertrand Russell
2nd ed. - London : G. Allen & Unwin. - New York : Macmillan , 1920
図書 <BB10142931>
A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt
Boston : Kluwer Academic , c2004. - (Applied logic series ; v. 29)
図書 <BB10075313>
Diamond : a paradox logic / by N.S. Hellerstein
Singapore : World Scientific , c1997. - (Series on knots and everything ; v. 14)
図書 <BB00338357>
Frege and Gödel : two fundamental texts in mathematical logic / [Gottlob Frege, Kurt Gödel] ; edited by Jean van Heijenoort
: hard,: pbk. - Cambridge, Mass. : Harvard University Press , 1970
図書 <BB00187173>
Invariance and structural dependence / Jan Odelstad
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1992. - (Lecture notes in economics and mathematical systems ; 380)
図書 <BB00188533>
The infinite in mathematics : logico-mathematical writings / Felix Kaufmann ; edited by Brian McGuinness ; with an introd. by Ernest Nagel ; translated from the German by Paul Foulkes
: pbk. - Dordrecht, Holland ; Boston : D. Reidel Pub. Co. , c1978. - (Vienna circle collection ; 9)
図書 <BB00138004>
Number : the language of science / Tobias Dantzig
4th ed., rev and augmented. - New York : Free Press , [1967]. - (A Free Press paperback)
図書 <BB00250117>
The foundations of mathematics and other logical essays / by Frank Plumpton Ramsey ; edited by R.B. Braithwaite ; with a preface by G.E. Moore
Paterson : Littlefield, Adams & Co. , 1960. - (International library of psychology, philosophy, and scientific method)
図書 <BB00206282>
Introduction to logic and to the methodology of deductive sciences / by Alfred Tarski ; [tr. by Olaf Helmer]
[2nd ed., rev.]. - New York : Oxford University Press , [1946]
図書 <BB00196369>
History of mathematical logic from Leibniz to Peano / [by] N.I. Styazhkin
Cambridge, Mass. : M.I.T. Press , [c1969]
図書 <BB00081682>
An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk ; [translated from the original Polish by Olgierd Wojtasiewicz & Waclaw Zawadowski]
Dordrecht, Holland ; Boston : D. Reidel. - Warszawa : Polish Scientific ; c1974. - (Synthese library ; v. 70)
図書 <BB00082027>
Relation and logical formula / Roland Fraïssé ; [translation edited by David Louvish]
Dordrecht : Reidel , c1973. - (Synthese library ; [v.54] . Course of mathematical logic ; v. 1)
図書 <BB00082342>
Model theory / Roland Fraïssé ; [translated by David Louvish]
: pbk. - Dordrecht : Reidel , c1974. - (Synthese library ; v. 69 . Course of mathematical logic ; v. 2)
図書 <BB00082358>
An introduction to many-valued logics / by Robert Ackermann
London : Routledge & K. Paul. - New York : Dover Publications , 1967. - (Monographs in modern logic)
図書 <BB00104252>
The foundations of arithmetic : a logico-mathematical enquiry into the concept of number / English translation by J.L. Austin
2nd rev. ed. - Evanston, Ill. : Northwestern University Press , 1968, [c1959]
図書 <BB00105606>
Logic for mathematicians / A.G. Hamilton
: pbk. - Cambridge [Eng.] ; New York : Cambridge University Press , 1978
図書 <BB00105894>
Symbolic logic and mechanical theorem proving / Chin-liang Chang, Richard Char-Tung Lee
New York : Academic Press , c1973. - (Computer science and applied mathematics)
図書 <BB00025808>
Grundlagen der Mathematik / D. Hilbert und P. Bernays
v. 1,v. 2. - 2. Aufl. - Berlin : Springer , 1968-70. - (Die Grundlehren der mathematischen Wissenschaften ; Bd. 40, 50)
図書 <BB00032032>
Logik und Sprachphilosophie = Logic and philosophy of language / Matthias Schirn (Hrsg.)
: pbk. - Stuttgart-Bad Cannstatt : Frommann-Holzboog , 1976. - (Problemata ; 43 . Studien zu Frege = Studies on Frege ; 2)
図書 <BB00034359>
Dictionary of symbols of mathematical logic / Edited by Robert Feys and Frederic B. Fitch
Amsterdam : North-Holland Pub. Co. , c1969. - (Studies in logic and the foundations of mathematics)
図書 <BB00068764>
Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki
Dordrecht ; Boston : Kluwer Academic Publishers , c1988. - (Synthese library ; v. 199)
図書 <BB00078362>
Remarks on the foundations of mathematics / by Ludwig Wittgenstein ; edited by G.H. von Wright, R. Rhees and G.E.M. Anscombe ; translated from the German by G.E.M. Anscombe
2nd ed. - Oxford : Blackwell , 1967
図書 <BB00088928>
Philosophy of mathematics / [by] Stephen F. Barker
Englewood Cliffs, N.J. : Prentice-Hall , [1964]. - (Prentice-Hall foundations of philosophy series)
図書 <BB00043171>
Meaning and existence in mathematics / Charles Castonguay
au,us. - Wien ; New York : Springer-Verlag , 1972. - (Library of exact philosophy ; 9)
図書 <BB00045763>
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
: pbk.. - Orlando ; Tokyo : Academic Press , 1986. - (Computer science and applied mathematics)
図書 <BB00003568>
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
: pbk. - Amsterdam ; New York : North-Holland Pub. Co. , 1977. - (Studies in logic and the foundations of mathematics ; v. 90)
図書 <BB00024699>
From Frege to Gödel : a source book in mathematical logic, 1879-1931 / [edited by] Jean van Heijenoort
: pbk. - [3rd print]. - Cambridge, Mass. : Harvard University Press , [1977]
図書 <BB10356806>
Statistical methods and scientific inference
[2nd ed. rev.]. - Edinburgh : Oliver and Boyd , [1959]
図書 <BB10299493>
Philosophy of mathematics and natural science / Hermann Weyl ; translated by Olaf Helmer ; with a new introduction by Frank Wilczek
Princeton : Princeton University Press , 2009
図書 <BB12184060>
The logic pamphlets of Charles Lutwidge Dodgson and related pieces / compiled, with introductory essays, notes, and annotations, by Francine F. Abeles
: cloth. - New York : Lewis Carroll Society of North America. - Charlottesville : Distributed by the University Press of Virginia , 2010. - (The pamphlets of Lewis Carroll ; v. 4)
図書 <BB12216706>
Principia mathematica, to *56 / by Alfred North Whitehead and Bertrand Russell
Pbk. ed. - Cambridge [Cambridgeshire] ; New York : Cambridge University Press , 1997. - (Cambridge mathematical library)
図書 <BB10029385>
Fixing Frege / John P. Burgess
Princeton, NJ : Princeton University Press , 2005. - (Princeton monographs in philosophy)
図書 <BB12581140>
The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein / Burt C. Hopkins
: cloth. - Bloomington, Ind. : Indiana University Press , c2011. - (Studies in Continental thought)
図書 <BB12582505>
Logicism and its philosophical legacy / William Demopoulos
: hardback. - Cambridge : Cambridge University Press , 2013
図書 <BB12616366>
More precisely : the math you need to do philosophy / Eric Steinhart
Peterborough, Ont. : Broadview Press , 2009. - (Broadview guides to philosophy)
図書 <BB12390254>
Die Grundlagen der Arithmetik : eine logisch mathematische Untersuchung über den Begriff der Zahl / Gottlob Frege ; auf der Grundlage der Centenarausgabe herausgegeben von Christian Thiel
Hamburg : F. Meiner , c1988. - (Philosophische Bibliothek ; Bd. 366)
図書 <BB12574185>
Russell's unknown logicism : a study in the history and philosophy of mathematics / Sébastien Gandon
Basingstoke : Palgrave Macmillan , 2012. - (History of analytic philosophy)
図書 <BB12862200>
Perspectives on the history of mathematical logic / Thomas Drucker, editor
Boston : Birkhäuser , c1991
電子書籍 <OB00868830>
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
New York : Springer-Verlag , c1979. - (Undergraduate texts in mathematics)
電子書籍 <OB00847826>