上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 511/.3)
該当件数:29件
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday / edited by Leon Henkin ... [et al.]
Providence, R.I. : Published for the Association for Symbolic Logic by the American Mathematical Society , 1974. - (Proceedings of symposia in pure mathematics ; v. 25)
電子ブック <1003025523>
Set theory and logic / by Robert R. Stoll
: pbk. - New York : Dover , 1979
図書 <1002627317>
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)
図書 <1001908033>
Estudios sobre semántica / Gottlob Frege ; introducción de Jesús Mosterín ; [traducción castellana de Ulíses Moulines]
2a edición. - Barcelona : Editorial Ariel , 1973. - (Ariel quincenal ; 60)
図書 <1001095329>
Algorithmics : theory and practice / Gilles Brassard and Paul Bratley
: pbk. - Englewood Cliffs, N.J. : Prentice Hall , c1988
図書 <1001983811>
Logic and argument / C. A. Kirwan
New York : New York University Press , 1978
図書 <1000514908>
Completeness, compactness, and undecidability : an introduction to mathematical logic / Alfred B. Manaster
Englewood Cliffs, N.J. : Prentice-Hall , c1975
図書 <1001271708>
Quantification theory / by J.A. Faris
London : Routledge & K. Paul , 1964. - (Monographs in modern logic)
図書 <1001473456>
Formal languages / Arto Salomaa
New York : Academic Press , 1973. - (ACM monograph series)
図書 <1001327945>
A course in mathematical logic for mathematicians / Yu.I. Manin
2nd ed. / chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin. - New York : Springer , c2010. - (Graduate texts in mathematics ; 53)
図書 <1002156642>
Symbolic logic and mechanical theorem proving / [by] Chin-liang Chang [and] Richard Char-Tung Lee
New York : Academic Press , c1973. - (Computer science and applied mathematics : a series of monographs and textbooks)
図書 <1001087007>
Temporal logic / Nicholas Rescher and Alasdair Urquhart
: us,: au. - New York ; Wien : Springer-Verlag , 1971. - (Library of exact philosophy ; 3)
図書 <1001092551>
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
図書 <1000342285>
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)
図書 <1000330464>
Symbolic logic / Irving M. Copi
4th ed. - New York : Macmillan , c1973
図書 <1000330673>
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)
図書 <1000336846>
Proof theory / Kurt Schütte ; translation from the German by J.N. Crossley
: us,: gw. - Berlin ; New York : Springer-Verlag , 1977. - (Grundlehren der mathematischen Wissenschaften ; Bd. 225)
図書 <1000313510>
Two applications of logic to mathematics / by Gaisi Takeuti
[Tokyo] ; [Princeton, N.J.] : Iwanami Shoten : Princeton University Press , 1978. - (Publications of the Mathematical Society of Japan. ; 13.). - (Publications of the Mathematical Society of Japan. ; Kanō memorial lectures. 3.)
図書 <1000632779>
Introduction to mathematical logic / Elliott Mendelson
3rd ed. --. - Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software , c1987. - (Wadsworth & Brooks/Cole mathematics series.)
図書 <1000586063>
Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 / edited by A. Mazurkiewicz
Berlin ; New York : Springer-Verlag , 1976. - (Lecture notes in computer science. ; 45)
図書 <1000586786>