城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: BC1-199)
該当件数:65件
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)
電子ブック
A Textbook of Belief Dynamics : Solutions to exercises / by Sven Ove Hansson
1st ed. 1999.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1999). - (Applied Logic Series ; 11/2)
The Square of Opposition: A Cornerstone of Thought / edited by Jean-Yves Béziau, Gianfranco Basti
1st ed. 2017.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2017). - (Studies in Universal Logic. ISSN:22970290)
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)
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory / edited by Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
1st ed. 2020.. - (Cham : Springer International Publishing : Imprint: Springer , 2020). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 53)
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)
Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations / by Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli
1st ed. 2018.. - (Cham : Springer International Publishing : Imprint: Springer , 2018). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 48)
Descriptor Revision : Belief Change through Direct Choice / by Sven Ove Hansson
1st ed. 2017.. - (Cham : Springer International Publishing : Imprint: Springer , 2017). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 46)
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry / by Thomas Macaulay Ferguson
1st ed. 2017.. - (Cham : Springer International Publishing : Imprint: Springer , 2017). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 49)
Inquisitive Logic : Consequence and Inference in the Realm of Questions / by Ivano Ciardelli
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 60)
Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / by Mohamed A. Amer
1st ed. 2021.. - (Cham : Springer International Publishing : Imprint: Springer , 2021). - (SpringerBriefs in Philosophy. ISSN:22114556)
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns / by Piero Pagliani, Mihir Chakraborty
1st ed. 2008.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2008). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 27)
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)
The Death of Argument : Fallacies in Agent Based Reasoning / by J.H. Woods
1st ed. 2004.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2004). - (Applied Logic Series ; 32)
Foundations of Rational Agency / edited by Michael Wooldridge, A. Rao
1st ed. 1999.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1999). - (Applied Logic Series ; 14)
What is Negation? / edited by Dov M. Gabbay, Heinrich Wansing
1st ed. 1999.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1999). - (Applied Logic Series ; 13)
Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel / edited by Steffen Hölldobler
1st ed. 2000.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2000). - (Applied Logic Series ; 19)
Dynamic Worlds : From the Frame Problem to Knowledge Management / edited by Remo Pareschi, Bertram Fronhöfer
1st ed. 1999.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1999). - (Applied Logic Series ; 12)
Fuzzy Sets, Logics and Reasoning about Knowledge / edited by Didier Dubois, Henri Prade, Erich Peter Klement
1st ed. 1999.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1999). - (Applied Logic Series ; 15)