1 |
|
Advances in Intensional Logic [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
2 |
|
Advances in Proof-Theoretic Semantics [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
3 |
|
Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques / [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
4 |
|
Dynamic Worlds: From the Frame Problem to Knowledge Management / [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
5 |
|
Formal Aspects of Context [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
6 |
|
Foundations of Rational Agency [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
7 |
|
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 / [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
8 |
|
Fuzzy Sets, Logics and Reasoning about Knowledge [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
9 |
|
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel / [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
10 |
|
Labelled Deduction [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
11 |
|
Logic, Action and Cognition: Essays in Philosophical Logic [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
12 |
|
Logic in action [Monograph ]
|
|
2001 |
|
Shelf Location: 160 LOG.
Collections: General.
Number of Holdings: 1.
|
13 |
|
Logic, Language and Computation [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
14 |
|
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay / [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
15 |
|
Logical Studies of Paraconsistent Reasoning in Science and Mathematics [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
16 |
|
The Logical Writings of Karl Popper [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
17 |
|
Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir / [Ebook]
|
|
2021 |
|
Shelf Location: Online resource: Springer.
|
18 |
|
New Essays in Free Logic: In Honour of Karel Lambert / [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
19 |
|
Proof Theory of Modal Logic [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
20 |
|
Structural Reliabilism: Inductive Logic as a Theory of Justification / [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
21 |
|
Trends in Logic: 50 Years of Studia Logica / [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
22 |
|
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory / [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
23 |
|
What is Negation? [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
24 |
|
The Square of Opposition: A Cornerstone of Thought [Ebook]
|
Basti, Gianfranco
|
2017 |
|
Shelf Location: Online resource: Springer.
|
25 |
|
Logics of Variable Inclusion [Ebook]
|
Bonzio, Stefano
|
2022 |
|
Shelf Location: Online resource: Springer.
|
26 |
|
Hybrid Logic and its Proof-Theory [Ebook]
|
Braüner, Torben
|
2011 |
|
Shelf Location: Online Resource: Springer.
|
27 |
|
Automated Model Building [Ebook]
|
Caferra, Ricardo
|
2004 |
|
Shelf Location: Online resource: Springer.
|
28 |
|
Bolzano's logical system [Ebook]
|
Casari, Ettore
|
2017 |
|
Shelf Location: Online Resource : Oxford Scholarship Online.
|
29 |
|
The Theory of Gödel [Ebook]
|
Cellucci, Carlo
|
2022 |
|
Shelf Location: Online resource: Springer.
|
30 |
|
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics / [Ebook]
|
Cintula, Petr
|
2021 |
|
Shelf Location: Online resource: Springer.
|
31 |
|
Probabilistic Logic in a Coherent Setting [Ebook]
|
Coletii, Giulianella
|
2002 |
|
Shelf Location: Online resource: Springer.
|
32 |
|
Freedom and Enforcement in Action: A Study in Formal Action Theory / [Ebook]
|
Czelakowski, Janusz
|
2015 |
|
Shelf Location: Online resource: Springer.
|
33 |
|
Cut Elimination in Categories [Ebook]
|
Došen, Kosta
|
1999 |
|
Shelf Location: Online resource: Springer.
|
34 |
|
New Foundations for Information Theory: Logical Entropy and Shannon Entropy / [Ebook]
|
Ellerman, David
|
2021 |
|
Shelf Location: Online resource: Springer.
|
35 |
|
Heyting Algebras: Duality Theory [Ebook]
|
Esakia, Leo. 1934-2010
|
2019 |
|
Shelf Location: Online Resource: Springer..
|
36 |
|
Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry [Ebook]
|
Ferguson, Thomas Macaulay
|
2017 |
|
Shelf Location: Online resource: Springer.
|
37 |
|
Types, Tableaus, and Gödel’s God [Ebook]
|
Fitting, Melvin
|
2002 |
|
Shelf Location: Online resource: Springer.
|
38 |
|
Goal-Directed Proof Theory [Ebook]
|
Gabbay, Dov M.
|
2000 |
|
Shelf Location: Online resource: Springer.
|
39 |
|
Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics / [Ebook]
|
Ghilardi, Silvio
|
2002 |
|
Shelf Location: Online resource: Springer.
|
40 |
|
Metamathematics of Fuzzy Logic [Ebook]
|
Hájek, Petr
|
1998 |
|
Shelf Location: Online resource: Springer.
|
41 |
|
Descriptor Revision: Belief Change through Direct Choice [Ebook]
|
Hansson, Sven Ove
|
2017 |
|
Shelf Location: Online resource: Springer.
|
42 |
|
A Textbook of Belief Dynamics: Solutions to exercises / [Ebook]
|
Hansson, Sven Ove
|
1999 |
|
Shelf Location: Online resource: Springer.
|
43 |
|
Natural Deduction, Hybrid Systems and Modal Logics [Ebook]
|
Indrzejczak, Andrzej
|
2010 |
|
Shelf Location: Online Resource: Springer.
|
44 |
|
Triangular Norms [Ebook]
|
Klement, Erich Peter
|
2000 |
|
Shelf Location: Online resource: Springer.
|
45 |
|
A Model–Theoretic Approach to Proof Theory [Ebook]
|
Kotlarski, Henryk
|
2019 |
|
Shelf Location: Online Resource: Springer..
|
46 |
|
Paradoxes [Ebook]
|
Łukowski, Piotr
|
2011 |
|
Shelf Location: Online Resource : Springer.
|
47 |
|
A Guide to Classical and Modern Model Theory [Ebook]
|
Marcja, Annalisa
|
2003 |
|
Shelf Location: Online resource: Springer.
|
48 |
|
Multi-Dimensional Modal Logic [Ebook]
|
Marx, Maarten
|
1997 |
|
Shelf Location: Online resource: Springer.
|
49 |
|
Metainferential Logics [Ebook]
|
Pailos, Federico
|
2023 |
|
Shelf Location: Online resource: Springer.
|
50 |
|
Substructural Logics: A Primer [Ebook]
|
Paoli, Francesco
|
2002 |
|
Shelf Location: Online resource: Springer.
|