城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(書名(完全形): Trends in Logic, Studia Logica Library. ISSN:22127313)
該当件数:60件
Logics of Variable Inclusion / by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 59)
電子ブック
Logical Studies of Paraconsistent Reasoning in Science and Mathematics / edited by Holger Andreas, Peter Verdée
1st ed. 2016.. - (Cham : Springer International Publishing : Imprint: Springer , 2016). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 45)
Toward Predicate Approaches to Modality / by Johannes Stern
1st ed. 2016.. - (Cham : Springer International Publishing : Imprint: Springer , 2016). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 44)
A Model–Theoretic Approach to Proof Theory / by Henryk Kotlarski ; edited by Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski
1st ed. 2019.. - (Cham : Springer International Publishing : Imprint: Springer , 2019). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 51)
Dialetheism and its Applications / edited by Adam Rieger, Gareth Young
1st ed. 2019.. - (Cham : Springer International Publishing : Imprint: Springer , 2019). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 52)
Constructive Negations and Paraconsistency / by Sergei Odintsov
1st ed. 2008.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2008). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 26)
Metamathematics of Fuzzy Logic / by Petr Hájek
1st ed. 1998.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1998). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 4)
Logic for Concurrency and Synchronisation / edited by R.J. De Queiroz
1st ed. 2003.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2003). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 18)
A Guide to Classical and Modern Model Theory / by Annalisa Marcja, Carlo Toffalori
1st ed. 2003.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2003). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 19)
Types, Tableaus, and Gödel’s God / by M. Fitting
1st ed. 2002.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2002). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 12)
Probabilistic Logic in a Coherent Setting / by Giulianella Coletti, R. Scozzafava
1st ed. 2002.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2002). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 15)
Algebraic Foundations of Many-Valued Reasoning / by R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
1st ed. 2000.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2000). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 7)
Triangular Norms / by Erich Peter Klement, R. Mesiar, E. Pap
1st ed. 2000.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2000). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 8)
Cut Elimination in Categories / by K. Dosen
1st ed. 1999.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1999). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 6)
Displaying Modal Logic / by Heinrich Wansing
1st ed. 1998.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1998). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 3)
Protoalgebraic Logics / by Janusz Czelakowski
1st ed. 2001.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2001). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 10)
Substructural Logics: A Primer / by F. Paoli
1st ed. 2002.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2002). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 13)
Contradictions, from Consistency to Inconsistency / edited by Walter Carnielli, Jacek Malinowski
1st ed. 2018.. - (Cham : Springer International Publishing : Imprint: Springer , 2018). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 47)
Methods of Cut-Elimination / by Matthias Baaz, Alexander Leitsch
1st ed. 2011.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2011). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 34)
Advances in Proof-Theoretic Semantics / edited by Thomas Piecha, Peter Schroeder-Heister
1st ed. 2016.. - (Cham : Springer International Publishing : Imprint: Springer , 2016). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 43)