東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: 511/.3)
該当件数:41件
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
New York : Springer-Verlag , c1979. - Tokyo. - (Undergraduate texts in mathematics)
図書
Proof theory / Kurt Schütte ; translation from the German by J. N. Crossley
Berlin : Springer-Verlag , 1977. - New York. - (Die Grundlehren der mathematischen Wissenschaften ; 225)
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)
A concise introduction to mathematical logic / Wolfgang Rautenberg
2nd ed. - New York : Springer , c2006. - (Universitext)
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 : D. Reidel. - Warszawa : Polish Scientific. - Boston. - c1974. - (Synthese library ; v. 70)
Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen
Dordrecht, Holland : D. Reidel , c1979. - (Synthese library ; v. 127)
Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki
Dordrecht : Kluwer Academic Publishers , c1988. - Boston. - (Synthese library ; v. 199)
Combinators, λ-terms and proof theory / Sören Stenlund
Dordrecht : D. Reidel , c1972. - (Synthese library)
Introduction to axiomatic set theory / Jean-Louis Krivine ; [translated from the French by David Miller]
Dordrecht : Reidel , c1971. - (Synthese library)
Relation and logical formula / Roland Fraïssé ; [translation edited by David Louvish]
Dordrecht : Reidel , c1974. - (Synthese library ; . Course of mathematical logic ; v. 1)
Metalogic : an introduction to the metatheory of standard first order logic / Geoffrey Hunter
Berkeley : University of California Press , 1996, c1971
Elementary logic / Benson Mates
2nd ed. - New York : Oxford Univ. Pr. , 1972
Introduction to mathematical logic / Elliott Mendelson
3rd ed. - Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software , c1987. - (The Wadsworth & Brooks/Cole mathematics series)
Entailment : the logic of relevance and necessity / by Alan Ross Anderson, Nuel D. Belnap, Jr. ; with contributions by J. Michael Dunn ... [et al.]
Princeton, N.J. : Princeton University Press , c1992
Advanced logic for applications / Richard E. Grandy
Dordrecht, Holland : D. Reidel Pub. Co. , c1977. - Boston. - (Synthese library ; v. 110)
Selected logic papers / W. V. Quine
New York : Random House , c1966
Model theory / Roland Fraïssé ; [translated by David Louvish]
: pbk. - Dordrecht : Reidel , c1974. - (Synthese library ; v. 69 . Course of mathematical logic ; v. 2)
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)
Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 / edited by A. Mazurkiewicz
: gw,: us. - Berlin ; New York : Springer-Verlag , 1976. - (Lecture notes in computer science ; 45)
What is mathematical logic? / J.N. Crossley ... [et al.]
: pbk. - London ; New York : Oxford University Press , 1972. - (OPUS ; 60)
A mathematical introduction to logic / Herbert B. Enderton
Orlando ; Tokyo : Academic Press , c1972
Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio
Oxford : Clarendon Press , 1977. - (Oxford logic guides ; 2)
A course in mathematical logic / by J.L. Bell and M. Machover
1st ed. - Amsterdam ; Tokyo : North-Holland Pub. Co.. - New York : Sole distributors for the U.S.A. and Canada American Elsevier Pub. Co. , 1977
Axiomatic set theory / by Patrick Suppes
New York : Dover Publications , [1972]. - (Dover books on advanced mathematics)
Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.]
v. 1,v. 2. - Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributor for the U.S.A. and Canada, Elsevier North-Holland , 1979. - (Studies in logic and the foundations of mathematics ; v. 93)
Mathematical logic / J. Donald Monk
New York : Springer-Verlag , 1976. - (Graduate texts in mathematics ; 37)
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. - New York: Distributed by Crown Publishers , c1977
A course in mathematical logic / Yu.I. Manin ; translated from the Russian by Neal Koblitz
: us,: gw. - New York : Springer-Verlag , c1977. - (Graduate texts in mathematics ; 53)
Proof theory and intuitionistic systems / Bruno Scarpellini
Berlin : Springer-Verlag , 1971. - New York. - (Lecture notes in mathematics ; 212)
The De Grammatico of St. Anselm : the theory of paronymy / by Desmond P. Henry
Notre Dame, Ind. : Univ. of Notre Dame Pr. , 1964. - (Publications in mediaeval studies ; 18)
Fundamental theoretical elements / A. Kaufmann ; foreword by L. A. Zadeh ; translated by D. L. Swanson
New York : Academic Pr. , 1975. - (Introduction to the theory of fuzzy subsets ; v. 1)
Naive set theory / Paul R. Halmos
New York : Springer-Verlag , c1974. - (Undergraduate texts in mathematics)
The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes
Berlin : Springer , 1973. - New York. - (Lecture notes in mathematics ; 328 .). - (Decidable theories ; 28 .)
Conference in Mathematical Logic, London '70 / edited by Wilfrid Hodges
Berlin : Springer-Verlag , 1972. - New York. - (Lecture notes in mathematics ; 255)
Logic Colloquium : symposium on logic held at Boston, 1972-73 / edited by R. Parikh
Berlin : Springer-Verlag , 1975. - New York. - (Lecture notes in mathematics ; 453)
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp, K. Potthoff
: gw,: u.s.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 499)
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 / edited by J. Diller and G.H. Müller
: gw,: u.s.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 500)
The Souslin problem / Keith J. Devlin, Håvard Johnsbråten
Berlin : Springer-Verlag , 1974. - New York. - (Lecture notes in mathematics ; 405)
Tableau systems for first order number theory and certain higher order theories / Sue Toledo
Berlin : Springer-Verlag , 1975. - New York. - (Lecture notes in mathematics ; 447)
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley
Berlin : Springer-Verlag , 1975. - New York. - (Lecture notes in mathematics ; 450)
The mathematical theory of L systems / Grzegorz Rozenberg, Arto Salomaa
New York : Academic Press , 1980. - (Pure and applied mathematics ; 90)