1. Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner. Braüner, Torben [Browse] Dordrecht : Springer Netherlands : Imprint: Springer, 2011. Book No holdings available for this record
2. Hybrid logic and its proof-theory [electronic resource] / by Torben Braüner. Applied logic series ; v. 37., Applied logic series ; v. 37 Braüner, Torben [Browse] Dordrecht : Springer, c2011. Book No holdings available for this record
3. Proof Theory for Fuzzy Logics [electronic resource] / by George Metcalfe, Nicola Olivetti, Dov M. Gabbay. Metcalfe, George [Browse] Dordrecht : Springer Netherlands : Imprint: Springer, 2009. Book No holdings available for this record
4. Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. Carnielli, Walter [Browse] Dordrecht : Springer Netherlands : Imprint: Springer, 2008. Book No holdings available for this record
5. Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. Carnielli, Walter [Browse] Dordrecht : Springer Science+Business Media B.V., 2008. Data file No holdings available for this record
6. A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by F.D. Kamareddine, T. Laan, Rob Nederpelt. Kamareddine, F.D. [Browse] Dordrecht : Springer Netherlands : Imprint: Springer, 2005. Book No holdings available for this record
7. Reasoning Robots [electronic resource] : The Art and Science of Programming Robotic Agents / by Michael Thielscher. Thielscher, Michael [Browse] Dordrecht : Springer Netherlands : Imprint: Springer, 2005. Book No holdings available for this record
8. Foundations of Bayesianism / edited by David Corfield and Jon Williamson. Applied logic series ; v. 24 Dordrecht ; Boston : Kluwer Academic, 2001. Book Loading...Firestone Library - Stacks » QA279.5 .F68 2001
9. New essays in free logic : in honour of Karel Lambert / edited by Edgar Morscher and Alexander Hieke. Applied logic series ; v. 23 Dordrecht ; Boston ; London : Kluwer Academic Publishers, c2001. Book Loading...Firestone Library - Stacks » BC129 .N49 2001
10. Abduction and induction : essays on their relation and integration / edited by Peter A. Flach and Antonis C. Kakas. Applied logic series ; v. 18 Dordrecht ; Boston : Kluwer Academic, c2000. Book Loading...ReCAP - Remote Storage » BC199.A26 A33 2000
11. Formal aspects of context / edited by Pierre Bonzon, Marcos Cavalcanti and Rolf Nossum. Applied logic series ; v. 20 Dordrecht ; Boston : Kluwer Academic Publishers, 2000. Book Loading...Firestone Library - Stacks » QA76.9.C65 F65 2000
12. Fuzzy sets, logics, and reasoning about knowledge / edited by Didier Dubois, Henri Prade, and Erich Peter Klement. Applied logic series ; v. 15 Dordrecht ; Boston, MA : Kluwer Academic, 1999. Book Loading...ReCAP - Remote Storage » BC126 .F89 1999
13. A textbook of belief dynamics : theory change and database updating / by Sven Ove Hansson. Applied logic series ; v. 11 Hansson, Sven Ove, 1951- [Browse] Dordrecht ; Boston : Kluwer Academic Publishers, c1999. Book Loading...Lewis Library - Stacks » QA76.9.D3 H353 1999
14. What is negation? / edited by Dov M. Gabbay and Heinrich Wansing. Applied logic series ; v. 13 Dordrecht ; Boston ; London : Kluwer Academic Publishers, c1999. Book Loading...ReCAP - Remote Storage » BC199.N4 W48 1999
15. Logic, language, and computation / edited by Seiki Akama. Applied logic series ; v. 5 Dordrecht ; Boston : Kluwer Academic Publishers, c1997. Book Loading...ReCAP - Remote Storage » QA76.9.N38 L63 1997
16. Multi-dimensional modal logic / by Maarten Marx and Yde Venema. Applied logic series ; v. 4 Marx, Maarten [Browse] Dordrecht ; Boston, Mass. : Kluwer Academic Publishers, c1997. Book Loading...ReCAP - Remote Storage » QA9.46 .M37 1997
17. Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie. Applied logic series ; v. 6 Goubault-Larrecq, Jean [Browse] Dordrecht ; Boston : Kluwer Academic, c1997. Book Loading...Lewis Library - Stacks » QA9.54 .G68 1997
18. Fallacies arising from ambiguity / by Douglas Walton. Applied logic series ; v. 1 Walton, Douglas N. [Browse] Dordrecht, The Netherlands ; Boston : Kluwer Academic Publishers, c1996. Book Loading...Forrestal Annex - A » BC175 .W325 1996
19. Reasoning robots : the art and science of programming robotic agents / by Michael Thielscher. Applied logic series ; v. 33., Applied logic series ; v. 33 Thielscher, Michael [Browse] Dordrecht : Springer, [2005], ©2005. Book ReCAP - Remote Storage » TJ211.495 .T47 2005
20. Reasoning robots : the art and science of programming robotic agents / by Michael Thielscher. Applied logic series ; v. 33 Thielscher, Michael [Browse] Dordrecht : Springer, 2005. Book ReCAP - Remote Storage » JSE 06-263
