1 |
![Abduction and Induction: Essays on their Relation and Integration / Abduction and Induction: Essays on their Relation and Integration /](Cover.cls?type=cover&isbn=9789401706063&size=100) |
Abduction and Induction: Essays on their Relation and Integration / [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
2 |
![Advances in Intensional Logic Advances in Intensional Logic](Cover.cls?type=cover&isbn=9789401588799&size=100) |
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 / Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions /](Cover.cls?type=cover&isbn=9789811641732&size=100) |
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 Advances in Proof Theory](Cover.cls?type=cover&isbn=9783319291987&size=100) |
Advances in Proof Theory [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
5 |
![Advances in Proof-Theoretic Semantics Advances in Proof-Theoretic Semantics](Cover.cls?type=cover&isbn=9783319226866&size=100) |
Advances in Proof-Theoretic Semantics [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
6 |
![Advances in Temporal Logic Advances in Temporal Logic](Cover.cls?type=cover&isbn=9789401595865&size=100) |
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 / Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 /](Cover.cls?type=cover&isbn=9783540348498&size=100) |
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 / Automated Deduction — A Basis for Applications: Volume III Applications /](Cover.cls?type=cover&isbn=9789401704373&size=100) |
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 / Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques /](Cover.cls?type=cover&isbn=9789401704359&size=100) |
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 / Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 /](Cover.cls?type=cover&isbn=9783319315027&size=100) |
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 / Dependence Logic: Theory and Applications /](Cover.cls?type=cover&isbn=9783319318035&size=100) |
Dependence Logic: Theory and Applications / [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
12 |
![Diagrammatic Representation and Reasoning Diagrammatic Representation and Reasoning](Cover.cls?type=cover&isbn=9781447101093&size=100) |
Diagrammatic Representation and Reasoning [Ebook]
|
|
2002 |
|
Shelf Location: Online resource: Springer.
|
13 |
![Diagrams and Gestures: Mathematics, Philosophy, and Linguistics / Diagrams and Gestures: Mathematics, Philosophy, and Linguistics /](Cover.cls?type=cover&isbn=9783031291111&size=100) |
Diagrams and Gestures: Mathematics, Philosophy, and Linguistics / [Ebook]
|
|
2023 |
|
Shelf Location: Online resource: Springer.
|
14 |
![Dynamic Worlds: From the Frame Problem to Knowledge Management / Dynamic Worlds: From the Frame Problem to Knowledge Management /](Cover.cls?type=cover&isbn=9789401713177&size=100) |
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 / The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition /](Cover.cls?type=cover&isbn=9783030908232&size=100) |
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 Formal Aspects of Context](Cover.cls?type=cover&isbn=9789401593977&size=100) |
Formal Aspects of Context [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
17 |
![Foundations of Rational Agency Foundations of Rational Agency](Cover.cls?type=cover&isbn=9789401592048&size=100) |
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 / 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 /](Cover.cls?type=cover&isbn=9789401703956&size=100) |
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 Frontiers in Belief Revision](Cover.cls?type=cover&isbn=9789401598170&size=100) |
Frontiers in Belief Revision [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
20 |
![Frontiers of Combining Systems: First International Workshop, Munich, March 1996 / Frontiers of Combining Systems: First International Workshop, Munich, March 1996 /](Cover.cls?type=cover&isbn=9789400903494&size=100) |
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 Fuzzy Sets, Logics and Reasoning about Knowledge](Cover.cls?type=cover&isbn=9789401716529&size=100) |
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 / Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neohumanist Scholar: Papers from a Sesquicentennial Conference /](Cover.cls?type=cover&isbn=9789401587532&size=100) |
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 / Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel /](Cover.cls?type=cover&isbn=9789401593830&size=100) |
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 / Kurt Gödel: The Princeton Lectures on Intuitionism /](Cover.cls?type=cover&isbn=9783030872960&size=100) |
Kurt Gödel: The Princeton Lectures on Intuitionism / [Ebook]
|
|
2021 |
|
Shelf Location: Online resource: Springer.
|
25 |
![Labelled Deduction Labelled Deduction](Cover.cls?type=cover&isbn=9789401140409&size=100) |
Labelled Deduction [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
26 |
![The Legacy of Kurt Schütte The Legacy of Kurt Schütte](Cover.cls?type=cover&isbn=9783030494247&size=100) |
The Legacy of Kurt Schütte [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
27 |
![Logic, Action and Cognition: Essays in Philosophical Logic Logic, Action and Cognition: Essays in Philosophical Logic](Cover.cls?type=cover&isbn=9789401155243&size=100) |
Logic, Action and Cognition: Essays in Philosophical Logic [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
28 |
![Logic for Concurrency and Synchronisation Logic for Concurrency and Synchronisation](Cover.cls?type=cover&isbn=9780306480881&size=100) |
Logic for Concurrency and Synchronisation [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
29 |
![Logic in action Logic in action](Cover.cls?type=cover&isbn=9789057760778&size=100) |
Logic in action [Monograph ]
|
|
2001 |
|
Shelf Location: 160 LOG.
Collections: General.
Number of Holdings: 1.
|
30 |
![Logic, Language and Computation Logic, Language and Computation](Cover.cls?type=cover&isbn=9789401156387&size=100) |
Logic, Language and Computation [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
31 |
![Logic, Language and Reasoning: Essays in Honour of Dov Gabbay / Logic, Language and Reasoning: Essays in Honour of Dov Gabbay /](Cover.cls?type=cover&isbn=9789401145749&size=100) |
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 / Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 /](Cover.cls?type=cover&isbn=9783540386339&size=100) |
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 Logical and Computational Aspects of Model-Based Reasoning](Cover.cls?type=cover&isbn=9789401005500&size=100) |
Logical and Computational Aspects of Model-Based Reasoning [Ebook]
|
|
2002 |
|
Shelf Location: Online resource: Springer.
|
34 |
![Logical Skills: Social-Historical Perspectives / Logical Skills: Social-Historical Perspectives /](Cover.cls?type=cover&isbn=9783030584467&size=100) |
Logical Skills: Social-Historical Perspectives / [Ebook]
|
|
2021 |
|
Shelf Location: Online resource: Springer.
|
35 |
![Logical Studies of Paraconsistent Reasoning in Science and Mathematics Logical Studies of Paraconsistent Reasoning in Science and Mathematics](Cover.cls?type=cover&isbn=9783319402208&size=100) |
Logical Studies of Paraconsistent Reasoning in Science and Mathematics [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
36 |
![The Logical Writings of Karl Popper The Logical Writings of Karl Popper](Cover.cls?type=cover&isbn=9783030949266&size=100) |
The Logical Writings of Karl Popper [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
37 |
![The Lvov-Warsaw School. Past and Present The Lvov-Warsaw School. Past and Present](Cover.cls?type=cover&isbn=9783319654300&size=100) |
The Lvov-Warsaw School. Past and Present [Ebook]
|
|
2018 |
|
Shelf Location: Online resource: Springer.
|
38 |
![Mathematical Logic Mathematical Logic](Cover.cls?type=cover&isbn=9781461306092&size=100) |
Mathematical Logic [Ebook]
|
|
1990 |
|
Shelf Location: Online resource: Springer.
|
39 |
![Mathematical Logic and Its Applications Mathematical Logic and Its Applications](Cover.cls?type=cover&isbn=9781461308973&size=100) |
Mathematical Logic and Its Applications [Ebook]
|
|
1987 |
|
Shelf Location: Online resource: Springer.
|
40 |
![Mathematical Problems from Applied Logic I: Logics for the XXIst Century Mathematical Problems from Applied Logic I: Logics for the XXIst Century](Cover.cls?type=cover&isbn=9780387310725&size=100) |
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 / Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir /](Cover.cls?type=cover&isbn=9783030536541&size=100) |
Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir / [Ebook]
|
|
2021 |
|
Shelf Location: Online resource: Springer.
|
42 |
![Mental logic Mental logic](Cover.cls?type=cover&isbn=9780805823882&size=100) |
Mental logic [Monograph ]
|
|
1998 |
|
Shelf Location: 160 MEN.
Collections: General.
Number of Holdings: 1.
|
43 |
![Modern Formal Methods and Applications Modern Formal Methods and Applications](Cover.cls?type=cover&isbn=9781402042232&size=100) |
Modern Formal Methods and Applications [Ebook]
|
|
2006 |
|
Shelf Location: Online Resource : Springer.
|
44 |
![Modern Logic 1850-1950, East and West Modern Logic 1850-1950, East and West](Cover.cls?type=cover&isbn=9783319247564&size=100) |
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 / New Essays in Free Logic: In Honour of Karel Lambert /](Cover.cls?type=cover&isbn=9789401597616&size=100) |
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 Perspectives on the History of Mathematical Logic](Cover.cls?type=cover&isbn=9780817647698&size=100) |
Perspectives on the History of Mathematical Logic [Ebook]
|
|
1991 |
|
Shelf Location: Online resource: Springer.
|
47 |
![Proof Theory of Modal Logic Proof Theory of Modal Logic](Cover.cls?type=cover&isbn=9789401727983&size=100) |
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 The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I](Cover.cls?type=cover&isbn=9783319101934&size=100) |
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 The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II](Cover.cls?type=cover&isbn=9783319153681&size=100) |
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 / Structural Reliabilism: Inductive Logic as a Theory of Justification /](Cover.cls?type=cover&isbn=9789401002592&size=100) |
Structural Reliabilism: Inductive Logic as a Theory of Justification / [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|