同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: Logic Periodicals)
該当件数:49件
Revue roumaine des sciences sociales. Série de philosophie et logique / Académie de la République populaire roumaine
T. 8, no. 1 (1964)-t. 33, no 3-4 (juil./déc. 1989). - Bucarest : Éditions de l'Académie de la République populaire roumaine , 1964-1989
雑誌 <SB00943686>
The bulletin of symbolic logic
Vol. 1, no. 1 (Mar. 1995)-. - Champaign, Ill. : Association for Symbolic Logic , c1995-
雑誌 <SB00950838>
The Journal of symbolic logic / Association for Symbolic Logic
Vol. 1, no. 1 (Mar. 1936)-. - Menasha, Wis. : Association for Symbolic Logic, Inc. , 1936-
雑誌 <SB00941634>
Foundations of language : international journal of language and philosophy
Vol. 1 (1965)-v. 14 (1976). - Dordrecht : D. Reidel , 1965-1976
雑誌 <SB00940673>
Journal of applied non-classical logics
Paris : Hermès. - Abingdon, Oxfordshire, United Kingdom : Taylor & Francis
電子ジャーナル <OJ00031362>
Cogency : journal of reasoning and argumentation
Santiago, Chile : Universidad Diego Portales , 2009-
電子ジャーナル <OJ00226876>
Argumentum : caietele Seminarului de Logică discursivă, Teoria argumentării și Retorică
Iași : Ed. Fundației Academice AXIS
電子ジャーナル <OJ00129250>
Journal of applied logic
Vol. 1, issues 1/2 (Feb. 2003)-. - [Amsterdam] ; [New York] : Elsevier Science , 2003-
電子ジャーナル <OJ00031348>
Journal of the IGPL
Vol. 3, no. 5 (1995)-v. 4, no. 3 (1996). - London : Imperial College. - [Saarbrücken, Germany] : Max-Planck-Institut für Informatik , 1995-1996
電子ジャーナル <OJ00237177>
Neutrosophic sets and systems
Gallup, NM : Department of Mathematics and Science, University of New Mexico , [2013]-
電子ジャーナル <OJ00081986>
The review of symbolic logic
Cambridge, U.K. : Cambridge University Press for the Association for Symbolic Logic , 2008-
電子ジャーナル <OJ00051417>
Logic journal of the IGPL / Interest Group in Pure and Applied Logics
Vol. 5, 1-. - Oxford, UK : Oxford University Press , 1997-
電子ジャーナル <OJ00037740>
SIGLOG news
New York, NY : Association for Computing Machinery , 2014-
電子ジャーナル <OJ00128884>
Journal of logical and algebraic methods in programming
Amsterdam : Elsevier Inc.
電子ジャーナル <OJ00097073>
Argumentation
Dordrecht : Kluwer Academic Publishers. - [Dordrecht] : Springer Netherlands
電子ジャーナル <OJ00004088>
History and philosophy of logic
London : Taylor & Francis
電子ジャーナル <OJ00025002>
Algebra and logic
[New York, N.Y.] : Plenum Pub
電子ジャーナル <OJ00002081>
Axioms
Basel, Switzerland : MDPI AG , 2012-
電子ジャーナル <OJ00005385>
Journal of logic and analysis
[Poughkeepsie, N.Y.?] : Association for Symbolic Logic
電子ジャーナル <OJ00195195>
Journal of philosophical logic
Dordrecht : Kluwer Academic Publishers , 1972-. - [Netherlands] : Springer Netherlands
電子ジャーナル <OJ00033994>
Studia logica
Tom 1 (1953)-. - Warszawa [Poland] : Panstwowe Wydawnictwo Naukowe , 1953-. - [Dordrecht] : Kluwer Academic Publishers. - [Dordrecht] : Springer Netherlands
電子ジャーナル <OJ00056872>
Reports on mathematical logic
Warsaw : Polish Scientific Publishers , 1973-
電子ジャーナル <OJ00050888>
Kagaku tetsugaku
[Tokyo] : Risō Sha
電子ジャーナル <OJ00035523>
Informal logic
Windsor, Ont. : P.F. Wilkinson
電子ジャーナル <OJ00027149>
Logical methods in computer science : LMCS
Braunschweig, Germany : Technical University of Braunschweig
電子ジャーナル <OJ00195638>
Bulletin of the Section of Logic
Wrocław : Polish Academy of Sciences, Institute of Philosophy and Sociology , 1972-. - 1992- ; Łódź : University of Łódz, Department of Logic
電子ジャーナル <OJ00159588>
Theoria
Madrid : [publisher not identified]. - San Sebastián : Centro de Análisis, Lógica e Informática Jurídica, Universidad del País Vasco. - San Sebastián : Centro de Análisis, Lógica e Informática Jurídica, Universidad del País Vasco : Servicio Editorial, Universidad del País Vasco
電子ジャーナル <OJ00058704>
Vol. 1, no. 1 (Mar. 1995)-. - Champaign, Ill. : Association for Symbolic Logic , 1995-. - [Cambridge, UK] ; [New York, NY] : Cambridge University Press
電子ジャーナル <OJ00008137>
Annals of pure and applied logic
[Amsterdam] : North-Holland
電子ジャーナル <OJ00003226>
Studies in logic, grammar and rhetoric : the Journal of University of Bialystok
Białystok, Poland : University of Białystok. - [Warsaw] : De Gruyter Open
電子ジャーナル <OJ00056933>
Biomedical fuzzy systems bulletin
Vol. 1, no. 1 (Feb. 1990)-. - Okayama, Japan : Biomedical Fuzzy Systems Association , [1990]-
電子ジャーナル <OJ00006794>
Logica universalis
Vol. 1, no. 1 (2007)-. - Basel : Birkhäuser , ©2007-. - [Switzerland] : Springer International Publishing
電子ジャーナル <OJ00037742>
Mathematical logic quarterly : MLQ
Berlin : Wiley-VCH Verlag
電子ジャーナル <OJ00038958>
Journal of formalized reasoning
Bologna, Italy : Centro Inter-Bibliotecario
電子ジャーナル <OJ00195100>
The journal of logic and algebraic programming
[Amsterdam] ; [New York] : Elsevier Science , ©2001-©2014
電子ジャーナル <OJ00033344>
Journal of logic and computation
[Oxford, England] : Oxford University Press
電子ジャーナル <OJ00033346>
ACM transactions on computational logic
Vol. 1, no. 1 (July 2000)-. - New York, NY : Association for Computing Machinery
電子ジャーナル <OJ00127908>
Archive for mathematical logic
Berlin : Springer International
電子ジャーナル <OJ00003968>
Annals of mathematical logic
Amsterdam : North-Holland Pub. Co
電子ジャーナル <OJ00237857>
Boletín científico Sapiens Research
Bogotá, Colombia : Sapiens Research Group , 2011-
電子ジャーナル <OJ00192994>
The journal of logic programming
New York : Elsevier Science
電子ジャーナル <OJ00033348>
Fuzzy optimization and modeling
Qaemshahr : IAU, Qaemshahr Branch , 2020-
電子ジャーナル <OJ00223836>
Theory and practice of logic programming
Vol. 1, issue 01 (Jan. 2001)-. - Cambridge : Cambridge University Press , 2001-
電子ジャーナル <OJ00058713>
Journal of automated reasoning
: Kluwer Academic Publishers. - Netherlands : Springer Netherlands
電子ジャーナル <OJ00031480>
The journal of symbolic logic
Vol. 1, no. 1 (Mar. 1936)-. - Champaign, Ill. : Association for Symbolic Logic , 1936-. - [Cambridge, UK] ; [New York, NY] : Cambridge University Press
電子ジャーナル <OJ00034640>
Chinō to jōhō : Nihon Chinō Jōhō Fajī Gakkaishi
[Fukuoka-ken Iizuka-shi] : Nihon Chinō Jōhō Fajī Gakkai , [2003]-
電子ジャーナル <OJ00033164>
Minds and machines
Dordrecht : Kluwer Academic Publishers. - [Netherlands] : Springer Netherlands
電子ジャーナル <OJ00040492>
Journal of logic, language, and information
Vol. 1, no. 1 (Mar. 1992)-. - Dordrecht : Kluwer Academic Publishers , 1992-. - [Dordrecht] : Springer Netherlands
電子ジャーナル <OJ00033347>
Fuzzy optimization and decision making
Vol. 1, issue 1 (Feb. 2002)-. - [Dordrecht?] : Kluwer Academic Publishers , 2002-. - [Dordrecht] : Springer
電子ジャーナル <OJ00022004>