1 |
|
Abduction and Induction: Essays on their Relation and Integration / [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
2 |
|
Advances in Intensional Logic [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
3 |
|
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / [Ebook]
|
|
2021 |
|
Shelf Location: Online resource: Springer.
|
4 |
|
Advances in Proof Theory [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
5 |
|
Advances in Proof-Theoretic Semantics [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
6 |
|
Advances in Temporal Logic [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
7 |
|
Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 / [Ebook]
|
|
1979 |
|
Shelf Location: Online resource: Springer.
|
8 |
|
Automated Deduction — A Basis for Applications: Volume III Applications / [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
9 |
|
Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques / [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
10 |
|
Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 / [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
11 |
|
Dependence Logic: Theory and Applications / [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
12 |
|
Diagrammatic Representation and Reasoning [Ebook]
|
|
2002 |
|
Shelf Location: Online resource: Springer.
|
13 |
|
Diagrams and Gestures: Mathematics, Philosophy, and Linguistics / [Ebook]
|
|
2023 |
|
Shelf Location: Online resource: Springer.
|
14 |
|
Dynamic Worlds: From the Frame Problem to Knowledge Management / [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
15 |
|
The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition / [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
16 |
|
Formal Aspects of Context [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
17 |
|
Foundations of Rational Agency [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
18 |
|
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.
|
19 |
|
Frontiers in Belief Revision [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
20 |
|
Frontiers of Combining Systems: First International Workshop, Munich, March 1996 / [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
21 |
|
Fuzzy Sets, Logics and Reasoning about Knowledge [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
22 |
|
Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neohumanist Scholar: Papers from a Sesquicentennial Conference / [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
23 |
|
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel / [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
24 |
|
Kurt Gödel: The Princeton Lectures on Intuitionism / [Ebook]
|
|
2021 |
|
Shelf Location: Online resource: Springer.
|
25 |
|
Labelled Deduction [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
26 |
|
The Legacy of Kurt Schütte [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
27 |
|
Logic, Action and Cognition: Essays in Philosophical Logic [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
28 |
|
Logic for Concurrency and Synchronisation [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
29 |
|
Logic in action [Monograph ]
|
|
2001 |
|
Shelf Location: 160 LOG.
Collections: General.
Number of Holdings: 1.
|
30 |
|
Logic, Language and Computation [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
31 |
|
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay / [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
32 |
|
Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / [Ebook]
|
|
1981 |
|
Shelf Location: Online resource: Springer.
|
33 |
|
Logical and Computational Aspects of Model-Based Reasoning [Ebook]
|
|
2002 |
|
Shelf Location: Online resource: Springer.
|
34 |
|
Logical Skills: Social-Historical Perspectives / [Ebook]
|
|
2021 |
|
Shelf Location: Online resource: Springer.
|
35 |
|
Logical Studies of Paraconsistent Reasoning in Science and Mathematics [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
36 |
|
The Logical Writings of Karl Popper [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
37 |
|
The Lvov-Warsaw School. Past and Present [Ebook]
|
|
2018 |
|
Shelf Location: Online resource: Springer.
|
38 |
|
Mathematical Logic [Ebook]
|
|
1990 |
|
Shelf Location: Online resource: Springer.
|
39 |
|
Mathematical Logic and Its Applications [Ebook]
|
|
1987 |
|
Shelf Location: Online resource: Springer.
|
40 |
|
Mathematical Problems from Applied Logic I: Logics for the XXIst Century [Ebook]
|
|
2006 |
|
Shelf Location: Online Resource : Springer.
|
41 |
|
Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir / [Ebook]
|
|
2021 |
|
Shelf Location: Online resource: Springer.
|
42 |
|
Mental logic [Monograph ]
|
|
1998 |
|
Shelf Location: 160 MEN.
Collections: General.
Number of Holdings: 1.
|
43 |
|
Modern Formal Methods and Applications [Ebook]
|
|
2006 |
|
Shelf Location: Online Resource : Springer.
|
44 |
|
Modern Logic 1850-1950, East and West [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
45 |
|
New Essays in Free Logic: In Honour of Karel Lambert / [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
46 |
|
Perspectives on the History of Mathematical Logic [Ebook]
|
|
1991 |
|
Shelf Location: Online resource: Springer.
|
47 |
|
Proof Theory of Modal Logic [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
48 |
|
The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I [Ebook]
|
|
2015 |
|
Shelf Location: Online resource: Springer.
|
49 |
|
The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II [Ebook]
|
|
2015 |
|
Shelf Location: Online resource: Springer.
|
50 |
|
Structural Reliabilism: Inductive Logic as a Theory of Justification / [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|