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 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.
|
4 |
![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.
|
5 |
![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.
|
6 |
![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.
|
7 |
![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.
|
8 |
![Foundations of Bayesianism Foundations of Bayesianism](Cover.cls?type=cover&isbn=9789401715867&size=100) |
Foundations of Bayesianism [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
9 |
![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.
|
10 |
![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.
|
11 |
![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.
|
12 |
![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.
|
13 |
![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.
|
14 |
![Labelled Deduction Labelled Deduction](Cover.cls?type=cover&isbn=9789401140409&size=100) |
Labelled Deduction [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
15 |
![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.
|
16 |
![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.
|
17 |
![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.
|
18 |
![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.
|
19 |
![Thirty Five Years of Automating Mathematics Thirty Five Years of Automating Mathematics](Cover.cls?type=cover&isbn=9789401702539&size=100) |
Thirty Five Years of Automating Mathematics [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
20 |
![What is Negation? What is Negation?](Cover.cls?type=cover&isbn=9789401593090&size=100) |
What is Negation? [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
21 |
![An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof](Cover.cls?type=cover&isbn=9789401599344&size=100) |
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof [Ebook]
|
Andrews, Peter B.
|
2002 |
|
Shelf Location: Online resource: Springer.
|
22 |
![Hybrid Logic and its Proof-Theory Hybrid Logic and its Proof-Theory](Cover.cls?type=cover&isbn=9789400700024&size=100) |
Hybrid Logic and its Proof-Theory [Ebook]
|
Braüner, Torben
|
2011 |
|
Shelf Location: Online Resource: Springer.
|
23 |
![Automated Model Building Automated Model Building](Cover.cls?type=cover&isbn=9781402026539&size=100) |
Automated Model Building [Ebook]
|
Caferra, Ricardo
|
2004 |
|
Shelf Location: Online resource: Springer.
|
24 |
![Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems](Cover.cls?type=cover&isbn=9781402067822&size=100) |
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems [Ebook]
|
Carnielli, Walter
|
2008 |
|
Shelf Location: Online Resource: Springer.
|
25 |
![Goal-Directed Proof Theory Goal-Directed Proof Theory](Cover.cls?type=cover&isbn=9789401717137&size=100) |
Goal-Directed Proof Theory [Ebook]
|
Gabbay, Dov M.
|
2000 |
|
Shelf Location: Online resource: Springer.
|
26 |
![A Textbook of Belief Dynamics: Solutions to exercises / A Textbook of Belief Dynamics: Solutions to exercises /](Cover.cls?type=cover&isbn=9789400708143&size=100) |
A Textbook of Belief Dynamics: Solutions to exercises / [Ebook]
|
Hansson, Sven Ove
|
1999 |
|
Shelf Location: Online resource: Springer.
|
27 |
![A Modern Perspective on Type Theory: From its Origins until Today A Modern Perspective on Type Theory: From its Origins until Today](Cover.cls?type=cover&isbn=9781402023354&size=100) |
A Modern Perspective on Type Theory: From its Origins until Today [Ebook]
|
Kamareddine, Fairouz
|
2005 |
|
Shelf Location: Online Resource : Springer.
|
28 |
![Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition / Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition /](Cover.cls?type=cover&isbn=9781402028069&size=100) |
Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition / [Ebook]
|
Leitgeb, Hannes
|
2004 |
|
Shelf Location: Online resource: Springer.
|
29 |
![Multi-Dimensional Modal Logic Multi-Dimensional Modal Logic](Cover.cls?type=cover&isbn=9789401156943&size=100) |
Multi-Dimensional Modal Logic [Ebook]
|
Marx, Maarten
|
1997 |
|
Shelf Location: Online resource: Springer.
|
30 |
![Proof Theory for Fuzzy Logics Proof Theory for Fuzzy Logics](Cover.cls?type=cover&isbn=9781402094095&size=100) |
Proof Theory for Fuzzy Logics [Ebook]
|
Metcalfe, George
|
2009 |
|
Shelf Location: Online Resource : Springer.
|
31 |
![The Semantics and Proof Theory of the Logic of Bunched Implications The Semantics and Proof Theory of the Logic of Bunched Implications](Cover.cls?type=cover&isbn=9789401700917&size=100) |
The Semantics and Proof Theory of the Logic of Bunched Implications [Ebook]
|
Pym, David J.
|
2002 |
|
Shelf Location: Online resource: Springer.
|
32 |
![Fallacies Arising from Ambiguity Fallacies Arising from Ambiguity](Cover.cls?type=cover&isbn=9789401586320&size=100) |
Fallacies Arising from Ambiguity [Ebook]
|
Walton, Douglas
|
1996 |
|
Shelf Location: Online resource: Springer.
|
33 |
![The Death of Argument: Fallacies in Agent Based Reasoning / The Death of Argument: Fallacies in Agent Based Reasoning /](Cover.cls?type=cover&isbn=9781402027123&size=100) |
The Death of Argument: Fallacies in Agent Based Reasoning / [Ebook]
|
Woods, John
|
2004 |
|
Shelf Location: Online resource: Springer.
|