上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: BC135)
該当件数:38件
Langages applicatifs, langues naturelles et cognition / Jean-Pierre Desclés
Paris : Hermès , c1990. - (Langue, raisonnement, calcul)
図書 <1000659942>
Pure logic and other minor works
London and New York : Macmillan and co. , 1890
図書 <1000623912>
On the relation between default and autoepistemic logic / Kurt Konolige
Stanford, CA : Center for the Study of Language and Information , 1987. - (Report (Center for the Study of Language and Information (U.S.)) ; no. CSLI-87-105)
図書 <1000587690>
An introduction to substructural logics / Greg Restall
: hbk,: pbk. - London ; New York : Routledge , 2000
図書 <1001221952>
Logical forms : an introduction to philosophical logic / Mark Sainsbury
: hbk,: pbk. - 2nd ed. - Oxford ; Malden, Mass. : Blackwell , 2001
図書 <1001234489>
Studies in logic / by members of the Johns Hopkins University (1883) ; edited by Charles S. Peirce ; with an introduction by Max H. Fisch and a preface by Achim Eschbach
Amsterdam : John Benjamins , 1983. - (Foundations of semiotics ; v. 1)
図書 <1000377447>
Philosophical logic and logical philosophy : essays in honor of Vladimir A. Smirnov / edited by Peter I. Bystrov and Vadim N. Sadovsky
Boston, Mass. : Kluwer Academic Publishers , c1996. - (Synthese library ; v. 257)
図書 <1000709068>
Introduction to mathematical logic / by Alonzo Church
v. 1. - Princeton : Princeton University Press , 1956. - (Princeton mathematical series ; 17)
図書 <1000317466>
Tractatus logico-philosophicus : the German text of Ludwig Wittgenstein's Logisch-philosophische Abhandlung / with a new edition of the translation by D.F. Pears & B.F. McGuinness ; and with the introduction by Bertrand Russell
reprinted. - London : Routledge and Kegan Paul , 1974. - (International library of philosophy and scientific method / editor, Ted Honderich)
図書 <1000381554>
Elements of symbolic logic / by Hans Reichenbach
New York : Macmillan , c1947
図書 <1002681651>
Précis de logique mathématique / par I.M. Bocheński
Bussum : F.G. Kroonder , [1948]. - (Collection Synthèse ; 2)
図書 <1002683533>
An invitation to mathematical logic / David Marker
: hbk. - Cham : Springer , c2024. - (Graduate texts in mathematics ; 301)
図書 <1003243018>
Introduction to symbolic logic / [by] James D. Carney
Englewood Cliffs, N.J. : Prentice-Hall , [1970]
図書 <1000614473>
Elementary symbolic logic / William Gustason, Dolph E. Ulrich
2nd ed. - Prospect Heights, Ill. : Waveland Press , c1989
図書 <1000536949>
Logic, action, and information : essays on logic in philosophy and artificial intelligence / edited by André Fuhrmann and Hans Rott
Berlin ; New York : W. de Gruyter , c1995
図書 <1000539924>
A structuralist theory of logic / Arnold Koslow
Cambridge [England] ; New York : Cambridge University Press , c1992
図書 <1000453052>
Gödel, Escher, Bach : ein endloses geflochtenes Band / Douglas R. Hofstadter ; [aus dem Amerikanischen von Philipp Wolff-Windegg und Hermann Feuersee unter Mitwirkung von Werner Alexi, Ronald Jonkers und Günter Jung]
München : Klett-Cotta im Deutschen Taschenbuch Verlag , 1991. - (DTV ; 11436)
図書 <1000464989>
Understanding symbolic logic / Virginia Klenk
3rd ed. - Englewood Cliffs, N.J. : Prentice Hall , c1994
図書 <1000506242>
Numerically exceptive logic : a reduction of the classical syllogism / Wallace A. Murphree
New York : P. Lang , 1991. - (American university studies ; Series V, Philosophy ; vol. 112)
図書 <1000488644>
Modern logic : a text in elementary symbolic logic / Graeme Forbes
pbk. : alk. paper. - New York : Oxford University Press , 1994
図書 <1000490796>