上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(書名(完全形): Trends in Logic, Studia Logica Library)
該当件数:22件
Anaphora and Type Logical Grammar / by Gerhard JÄger
Dordrecht : Springer , 2005. - (Trends in Logic, Studia Logica Library ; 24)
電子ブック <1002983833>
Cut Elimination in Categories / by Kosta Došen
Dordrecht : Springer Netherlands : Imprint: Springer , 1999. - (Trends in Logic, Studia Logica Library ; 6)
電子ブック <1002999712>
Substructural Logics: A Primer / by Francesco Paoli
Dordrecht : Springer Netherlands : Imprint: Springer , 2002. - (Trends in Logic, Studia Logica Library ; 13)
電子ブック <1002999870>
Logic for Concurrency and Synchronisation / edited by Ruy J. G. B. de Queiroz
Dordrecht : Springer Netherlands , 2003. - (Trends in Logic, Studia Logica Library ; 15)
電子ブック <1002988795>
Algebraic Foundations of Many-Valued Reasoning / by Roberto L. O. Cignoli, Itala M. L. D’Ottaviano, Daniele Mundici
Dordrecht : Springer Netherlands : Imprint: Springer , 2000. - (Trends in Logic, Studia Logica Library ; 7)
電子ブック <1002999518>
Fuzzy Logic : Mathematical Tools for Approximate Reasoning / by Giangiacomo Gerla
Dordrecht : Springer Netherlands : Imprint: Springer , 2001. - (Trends in Logic, Studia Logica Library ; 11)
電子ブック <1002999554>
Sheaves, Games, and Model Completions : A Categorial Approach to Nonclassical Propositional Logics / by Silvio Ghilardi, Marek Zawadowski
Dordrecht : Springer Netherlands : Imprint: Springer , 2002. - (Trends in Logic, Studia Logica Library ; 14)
電子ブック <1002999584>
Displaying Modal Logic / by Heinrich Wansing
Dordrecht : Springer Netherlands : Imprint: Springer , 1998. - (Trends in Logic, Studia Logica Library ; 3)
電子ブック <1002999724>
Protoalgebraic Logics / by Janusz Czelakowski
Dordrecht : Springer Netherlands : Imprint: Springer , 2001. - (Trends in Logic, Studia Logica Library ; 10)
電子ブック <1002999844>
Trends in Logic : 50 Years of Studia Logica / edited by Vincent F. Hendricks, Jacek Malinowski
Dordrecht : Springer Netherlands : Imprint: Springer , 2003. - (Trends in Logic, Studia Logica Library ; 21)
電子ブック <1002999894>
Types, Tableaus, and Gödel’s God / by Melvin Fitting
Dordrecht : Springer Netherlands : Imprint: Springer , 2002. - (Trends in Logic, Studia Logica Library ; 12)
電子ブック <1002998776>
Logic, Language and Reasoning : Essays in Honour of Dov Gabbay / edited by Hans Jürgen Ohlbach, Uwe Reyle
Dordrecht : Springer Netherlands : Imprint: Springer , 1999. - (Trends in Logic, Studia Logica Library ; 5)
電子ブック <1002999116>
Logic, Action and Cognition : Essays in Philosophical Logic / edited by Eva Ejerhed, Sten Lindström
Dordrecht : Springer Netherlands : Imprint: Springer , 1997. - (Trends in Logic, Studia Logica Library ; 2)
電子ブック <1002999196>
Structural Reliabilism : Inductive Logic as a Theory of Justification / edited by Paweł Kawalec
Dordrecht : Springer Netherlands : Imprint: Springer , 2003. - (Trends in Logic, Studia Logica Library ; 16)
電子ブック <1002998770>
Topological and Algebraic Structures in Fuzzy Sets : A Handbook of Recent Developments in the Mathematics of Fuzzy Sets / edited by Stephen Ernest Rodabaugh, Erich Peter Klement
Dordrecht : Springer Netherlands : Imprint: Springer , 2003. - (Trends in Logic, Studia Logica Library ; 20)
電子ブック <1002999618>
Foundations of the Formal Sciences II : Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 / edited by Benedikt Löwe, Wolfgang Malzkom, Thoralf Räsch
Dordrecht : Springer Netherlands : Imprint: Springer , 2003. - (Trends in Logic, Studia Logica Library ; 17)
電子ブック <1002999642>
Reasoning in Quantum Theory : Sharp and Unsharp Quantum Logics / by M. Dalla Chiara, R. Giuntini, R. Greechie
Dordrecht : Springer Netherlands : Imprint: Springer , 2004. - (Trends in Logic, Studia Logica Library ; 22)
電子ブック <1002999660>
Triangular Norms / by Erich Peter Klement, Radko Mesiar, Endre Pap
Dordrecht : Springer Netherlands : Imprint: Springer , 2000. - (Trends in Logic, Studia Logica Library ; 8)
電子ブック <1002999530>
The Convergence of Scientific Knowledge : A view from the limit / by Vincent F. Hendricks
Dordrecht : Springer Netherlands : Imprint: Springer , 2001. - (Trends in Logic, Studia Logica Library ; 9)
電子ブック <1002999556>
The Is-Ought Problem : An Investigation in Philosophical Logic / by Gerhard Schurz
Dordrecht : Springer Netherlands : Imprint: Springer , 1997. - (Trends in Logic, Studia Logica Library ; 1)
電子ブック <1002999884>