同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(書誌分類: 511/.3)
該当件数:66件
Gödel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter
New York : Harvester Wheatsheaf , 1979
図書 <BB00308613>
The language of machines : an introduction to computability and formal languages / Robert W. Floyd, Richard Beigel
New York : Computer Science Press , c1994
図書 <BB00274335>
Logic for mathematicians / J. Barkley Rosser
New York : McGraw-Hill , 1953. - (International series in pure and applied mathematics)
図書 <BB00123071>
Introduction to the basic concepts and problems of modern logic / [by] G. Hasenjaeger ; [Translated from the German by E. C. M. Mays]
Dordrecht-Holland : D. Reidel Pub. Co , c1972
図書 <BB00067050>
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>
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>
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 56)
図書 <BB00031994>
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>
Mathematical logic : proceedings of the first Brazilian Conference / edited by Ayda I. Arruda, Newton C.A. da Costa, Rolando Chuaqui
New York : M. Dekker , c1978. - (Lecture notes in pure and applied mathematics ; v. 39)
図書 <BB00033699>
Descriptive set theory / Yiannis N. Moschovakis
: ne,: us. - Amsterdam ; New York : North-Holland. - New York : Sole distributors for the U.S.A. and Canada, Elsevier-North Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 100)
図書 <BB00054334>
Set theory : with an introduction to descriptive set theory / K. Kuratowski and A. Mostowski
2d completely rev. ed. - Amsterdam : North-Holland Pub. Co.. - New York : distributor, Elsevier/North-Holland , 1976. - (Studies in logic and the foundations of mathematics ; v. 86)
図書 <BB00055892>
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A.I. Arruda, R. Chuaqui, N.C.A. da Costa
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 99)
図書 <BB00063068>
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc
Amsterdam : North-Holland , 1973. - (Studies in logic and the foundations of mathematics ; v. 68)
図書 <BB00064124>
Introduction to axiomatic set theory / Jean-Louis Krivine ; [translated from the French by David Miller]
Dordrecht : Reidel , c1971. - (Synthese library)
図書 <BB00074965>
Fuzzy sets and their applications to cognitive and decision processes : / edited by Lotfi A. Zadeh ... [et al.]
New York : Academic Press , 1975. - (Academic Press rapid manuscript reproduction)
図書 <BB00076745>
Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki
Dordrecht ; Boston : Kluwer Academic Publishers , c1988. - (Synthese library ; v. 199)
図書 <BB00078362>
Temporal logic / [by] Nicholas Rescher and Alasdair Urquhart
: us,: gw. - New York : Springer-Verlag , 1971. - (Library of exact philosophy ; 3)
図書 <BB00078785>
Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his "logical sister," and eight versions of the Barber-shop paradox / edited, with annotations and an introd., by William Warren Bartley, III
: pbk. - New York : C.N. Potter : distributed by Crown Publishers , c1977
図書 <BB00087111>
Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen
Dordrecht, Holland : D. Reidel Pub. Co. , c1979. - (Synthese library ; v. 127)
図書 <BB00015593>
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>
Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio
Oxford : Clarendon Press , 1977. - (Oxford logic guides ; 2)
図書 <BB10355879>
Selected logic papers / W.V. Quine
: pbk. - Enlarged ed. - Cambridge, Mass. : Harvard University Press , 1995
図書 <BB13003133>
Theory of sets / Nicolas Bourbaki
Paris : Hermann. - Reading, Mass. : Addison-Wesley , c1968. - (Actualités scientifiques et industrielles ; . Elements of mathematics ; 1). - (Adiwes international series in mathematics)
図書 <BB12445433>
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
New York : Springer-Verlag , c1979. - (Undergraduate texts in mathematics)
電子書籍 <OB00847826>
Mathematical logic / J. Donald Monk
New York : Springer-Verlag , 1976. - (Graduate texts in mathematics ; 37)
電子書籍 <OB00848098>
Introduction to axiomatic set theory / [by] G. Takeuti [and] W. M. Zaring
soft cover. - New York : Springer-Verlag , [1971]. - (Graduate texts in mathematics ; 1)
電子書籍 <OB00847805>
Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton
New York : Plenum Press , c1978. - (Mathematical concepts and methods in science and engineering ; v. 9)
電子書籍 <OB00848099>
A course in mathematical logic / Y. I. Manin ; translated from the Russian by Neal Koblitz
New York : Springer Verlag , c1977. - (Graduate texts in mathematics ; 53)
電子書籍 <OB00847063>
Fundamentals of contemporary set theory / Keith J. Devlin
New York : Springer-Verlag , c1979. - (Universitext)
電子書籍 <OB00847485>
Axiomatic set theory / [by] G. Takeuti [and] W. M. Zaring
soft cover. - New York : Springer-Verlag , [1973]. - (Graduate texts in mathematics ; 8)
電子書籍 <OB00846703>
Two applications of logic to mathematics / by Gaisi Takeuti
ja. - [Tokyo] : Iwanami Shoten. - [Princeton, N.J.] : Princeton University Press , 1978. - (Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3)
図書 <BB00065105>
A mathematical introduction to logic / Herbert B. Enderton
2nd ed. - San Diego : Harcourt/Academic Press , c2001
図書 <BB12219654>
The De Grammatico of St. Anselm : the theory of paronymy / Desmond P. Henry
Notre Dame, Ind. : Univ. of Notre Dame Press , 1964. - (Publications in mediaeval studies ; 18)
図書 <BB00289594>
: us,: gw. - New York ; Tokyo : Springer-Verlag , c1979. - (Undergraduate texts in mathematics)
図書 <BB00031033>
Logik und Philosophie der Mathematik = Logic and philosophy of mathematics / Matthias Schirn (Hrsg.)
: pbk. - Stuttgart-Bad Cannstatt : Frommann-Holzboog , c1976. - (Problemata ; 42 . Studien zu Frege = Studies on Frege ; 1)
図書 <BB00034348>
Logik und Semantik = Logic and semantics / Matthias Schirn (Hrsg.)
pbk. - Stuttgart-Bad Cannstatt : Frommann-Holzboog , c1976. - (Problemata ; 44 . Studien zu Frege = Studies on Frege ; 3)
図書 <BB00034363>
Selected works [of] Jan Lukasiewicz / edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
Amsterdam ; London : North-Holland , 1970. - (Studies in logic and the foundations of mathematics)
図書 <BB00061852>
Advanced logic for applications / Richard E. Grandy
Dordrecht, Holland ; Boston : D. Reidel Pub. Co. , c1977. - (Synthese library ; v. 110)
図書 <BB00071919>
Combinators, λ-terms and proof theory / Sören Stenlund
Dordrecht : D. Reidel , c1972. - (Synthese library)
図書 <BB00072003>
Commentary on De Grammatico : The historical-logical dimensions of a dialogue of St. Anselm's / by Desmond Paul Henry
Dordrecht ; Boston : Reidel , c1974. - (Synthese historical library ; v. 8)
図書 <BB00080076>
Models of ZF-set theory / Ulrich Felgner
Berlin ; New York : Springer-Verlag , 1971. - (Lecture notes in mathematics ; 223)
図書 <BB00087482>
Proof theory and intuitionistic systems / Bruno Scarpellini
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1971. - (Lecture notes in mathematics ; 212)
図書 <BB00091095>
Lectures in set theory : with particular emphasis on the method of forcing / Thomas J. Jech
: u.s.,: Germany. - Berlin : Springer-Verlag , 1971. - (Lecture notes in mathematics ; 217)
図書 <BB00092960>
Proof theory and intuitionistic systems
Berlin ; New York : Springer-Verlag , 1971
電子書籍 <OB00848670>
Models of ZF-set theory
電子書籍 <OB00848220>
Naive set theory / Paul R. Halmos
: us,: gw. - New York : Springer-Verlag , c1974. - (Undergraduate texts in mathematics)
図書 <BB00135841>
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 450)
図書 <BB00007693>