東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:290件
Introduction to symbolic logic / by A. H. Basson, and D. J. O'Connor
London : Univ. Tutorial Pr. , 1953
図書
Symbolic logic / by Clarence Irving Lewis and Cooper Harold Langford
2nd ed. - New York : Dover , 1959. - (Dover books on mathematics ; S170)
The language of logic / by Hans Freudenthal
Amsterdam : Elsevier , 1966. - New York
Fundamentals of symbolic logic / Alice Ambrose and Morris Lazerowitz
Rev. ed. - New York : Holt, Rinehart & Winston , 1962
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
: us,: gw. - New York : Springer-Verlag , c1984. - (Undergraduate texts in mathematics)
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
New York : Springer-Verlag , c1979. - Tokyo. - (Undergraduate texts in mathematics)
Logic and structure / Dirk van Dalen
4th ed. - Berlin : Springer , c2004. - (Universitext)
Term logic with choice operator / Hans Hermes
Berlin : Springer-Verlag , 1970. - New York. - (Lecture notes in mathematics ; 6)
3rd augm. ed. - Berlin ; New York : Springer-Verlag , c1994. - (Universitext)
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)
Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki
Dordrecht : Kluwer Academic Publishers , c1988. - Boston. - (Synthese library ; v. 199)
Model theory / Roland Fraïssé ; [translated by David Louvish]
: pbk. - Dordrecht : Reidel , c1974. - (Synthese library ; v. 69 . Course of mathematical logic ; v. 2)
Relation and logical formula / Roland Fraïssé ; [translation edited by David Louvish]
Dordrecht : Reidel , c1974. - (Synthese library ; . Course of mathematical logic ; v. 1)
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert Willem Beth
Dordrecht, Holland : D. Reidel , 1962. - (Synthese library)
Lectures on linear logic / A.S. Troelstra
: [hard],: pbk. - Stanford, Calif. : Center for the Study of Language and Information , c1992. - (CSLI lecture notes ; no. 29)
Philosophical applications of free logic / with an introduction and edited by Karel Lambert
New York : Oxford University Press , 1991
Mathematical logic / Joseph R. Shoenfield
Reading, Mass. : Addison-Wesley Pub. Co. , c1967. - (Addison-Wesley series in logic / Hartley Roger, Jr., consulting editor)
Logical forms : an introduction to philosophical logic / Mark Sainsbury
: pbk. - Cambridge, Mass. : B. Blackwell , 1991
: pbk. - 5th ed. - Berlin : Springer , c2013. - (Universitext)
Introduction to mathematical structures and proofs / Larry J. Gerstein
2nd ed. - New York : Springer , c2012. - (Undergraduate texts in mathematics)
A course on mathematical logic / Shashi Mohan Srivastava
: pbk. - 2nd ed. - New York : Springer , c2013. - (Universitext)
A mathematical introduction to logic / Herbert B. Enderton
Orlando ; Tokyo : Academic Press , c1972
Systems of logic / Norman M. Martin
: pbk.. - Cambridge ; New York : Cambridge University Press , 1989
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
3rd ed. - New York : Springer , c2010. - (Universitext)
The limits of logic : higher-order logic and the Löwenheim-Skolem theorem / edited by Stewart Shapiro
Aldershot, Hants : Dartmouth , c1996. - Brookfield, Vt.. - (The international research library of philosophy ; 18 . The philosophy of logic, language and mind)
Mathematical intuitionism : introduction to proof theory / A.G. Dragalin
Providence, R.I. : American Mathematical Society , c1988. - (Translations of mathematical monographs ; v. 67)
Intermediate logic / David Bostock
Oxford : Clarendon Press , 1997. - New York : Oxford University Press
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)
Logic : techniques of formal reasoning / Donald Kalish, Richard Montague, Gary Mar ; under the general editorship of Robert J. Fogelin
2nd ed. - San Diego : Harcourt Brace Jovanovich , c1980
Understanding symbolic logic / Virginia Klenk
3rd ed. - Englewood Cliffs, N.J. : Prentice Hall , c1994
2nd ed. - New York : Springer-Verlag , c1994. - Tokyo. - (Undergraduate texts in mathematics)
Mathematical logic / J. Donald Monk
New York : Springer-Verlag , 1976. - (Graduate texts in mathematics ; 37)
Advanced logic for applications / Richard E. Grandy
Dordrecht, Holland : D. Reidel Pub. Co. , c1977. - Boston. - (Synthese library ; v. 110)
A course on mathematical logic / S.M. Srivastava
New York : Springer , c2008. - (Universitext)
An Introduction to symbolic logic / by Susanne K. Langer
2nd ed (rev.). - New York : Dover Pub. , 1953
Elementary logic / [by] Willard Van Orman Quine
Revised ed. - New York : Harper & Row , 1965. - (Harper torchbooks ; TB 577J . The science library)
Selected logic papers / W. V. Quine
New York : Random House , c1966
Symbolic logic / Irving M. Copi
2nd ed. - New York : Macmillan , c1965
Introduction to symbolic logic / by A. H. Basson and D. J. O'Connor
3rd ed. - London : Univ. Tutorial Pr. , 1959
Introduction to symbolic logic and its applications / by Rudolf Carnap ; translated by William H. Meyer and John Wilkinson
New York : Dover , c1958
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
Elements of symbolic logic / by Hans Reichenbach
New York : Macmillan , 1947
Papers in philosophical logic / David Lewis
: hbk,: pbk. - Cambridge ; New York : Cambridge University Press , 1998. - (Cambridge studies in philosophy / general editor, Ernest Sosa)
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)
On group-theoretic decision problems and their classification / by Charles F. Miller, III
Princeton, N.J. : Princeton Univ. Pr. , 1971. - [Tokyo] : Univ. of Tokyo Pr.. - (Annals of mathematics studies ; no. 68)
First-order logic and automated theorem proving / Melvin Fitting
New York : Springer-Verlag , c1990. - (Texts and monographs in computer science)
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier
New York : J. Wiley , c1987