Applied Logic Series

Links for eMule (download books in PDF and DJVU formats for free)

  1. [ALS 01] Fallacies Arising from Ambiguity - Douglas Walton [Applied Logic Series] (Springer 1996)(T)(600dpi).djvu
  2. [ALS 01] Fallacies Arising from Ambiguity - Douglas Walton [Applied Logic Series] (Springer 1996)(T).pdf
  3. [ALS 02] Proof Theory of Modal Logic - Heinrich Wansing ed. [Applied Logic Series] (Springer 1996)(T).pdf
  4. [ALS 04] Multi-Dimensional Modal Logic - Maarten Marx, Yde Venema [Applied Logic Series] (Springer 1997)(T).pdf
  5. [ALS 05] Logic, Language and Computation - Seiki Akama ed. [Applied Logic Series] (Springer 1997)(T)(600dpi).djvu
  6. [ALS 07] Advances in Intensional Logic - Maarten de Rijke ed. [Applied Logic Series] (Springer 1997)(T).pdf
  7. [ALS 08] Automated Deduction. A Basis for Applications. Vol.1. Foundations - Calculi and Methods [Applied Logic Series] (Springer 1998)(T)(600dpi).djvu
  8. [ALS 09] Automated Deduction. A Basis for Applications. Vol.2. Systems and Implementation Techniques [Applied Logic Series] (Springer 1998)(T)(600dpi).djvu
  9. [ALS 09] Automated Deduction. A Basis for Applications. Vol.2. Systems and Implementation Techniques [Applied Logic Series] (Springer 1998)(T).pdf
  10. [ALS 10] Automated Deduction. A Basis for Applications. Vol.3. Applications [Applied Logic Series] (Springer 1998)(T)(600dpi).djvu
  11. [ALS 10] Automated Deduction. A Basis for Applications. Vol.3. Applications [Applied Logic Series] (Springer 1998)(T).pdf
  12. [ALS 11] A Textbook of Belief Dynamics. Solutions to exercises - Sven Ove Hansson [Applied Logic Series] (Springer 1999)(T).pdf
  13. [ALS 12] Dynamic Worlds. From the Frame Problem to Knowledge Management [Applied Logic Series] (Springer 1999)(T)(600dpi).djvu
  14. [ALS 12] Dynamic Worlds. From the Frame Problem to Knowledge Management [Applied Logic Series] (Springer 1999)(T).pdf
  15. [ALS 13] What is Negation - Dov M. Gabbay, Heinrich Wansing [Applied Logic Series] (Springer 1999)(T).pdf
  16. [ALS 14] Foundations of Rational Agency - M.Wooldridge, A.Rao [Applied Logic Series] (Springer 1999)(T).pdf
  17. [ALS 15] Fuzzy Sets, Logics and Reasoning about Knowledge - D.Dubois, H.Prade, E.P.Klement [Applied Logic Series] (Springer 1999)(T).pdf
  18. [ALS 16] Advances in Temporal Logic - H.Barringer, M.Fisher, D.Gabbay, G.Gough [Applied Logic Series] (Springer 2000)(T)(600dpi).djvu
  19. [ALS 16] Advances in Temporal Logic - H.Barringer, M.Fisher, D.Gabbay, G.Gough [Applied Logic Series] (Springer 2000)(T).pdf
  20. [ALS 17] Labelled Deduction - D.Basin, M.D'Agostino, D.Gabbay, S.Matthews, L.Vigano [Applied Logic Series] (Springer 2000)(T)(600dpi).djvu
  21. [ALS 17] Labelled Deduction - D.Basin, M.D'Agostino, D.Gabbay, S.Matthews, L.Vigano [Applied Logic Series] (Springer 2000)(T).pdf
  22. [ALS 18] Abduction and Induction. Essays on their Relation and Integration - P.Flach, A.Kakas [Applied Logic Series] (Springer 2000)(T).pdf
  23. [ALS 19] Intellectics and Computational Logic. Papers in Honor of Wolfgang Bibel [Applied Logic Series] (Springer 2000)(T)(600dpi).djvu
  24. [ALS 19] Intellectics and Computational Logic. Papers in Honor of Wolfgang Bibel [Applied Logic Series] (Springer 2000)(T).pdf
  25. [ALS 20] Formal Aspects of Context - P.Bonzon, M.Cavalcanti, R.Nossum [Applied Logic Series] (Springer 2000)(T).pdf
  26. [ALS 21] Goal-Directed Proof Theory - Dov Gabbay, Nicola Olivetti [Applied Logic Series] (Springer 2000)(E).pdf
  27. [ALS 22] Frontiers in Belief Revision - Mary-Anne Williams, Hans Rott [Applied Logic Series] (Springer 2001)(T).pdf
  28. [ALS 23] New Essays in Free Logic. In Honour of Karel Lambert - E.Morscher, A.Hieke [Applied Logic Series] (Springer 2001)(T).pdf
  29. [ALS 24] Foundations of Bayesianism - D.Corfield, J.Williamson [Applied Logic Series] (Springer 2001)(T).pdf
  30. [ALS 25] Logical and Computational Aspects of Model-Based Reasoning [Applied Logic Series] (Springer 2002)(T).pdf
  31. [ALS 26] The Semantics and Proof Theory of the Logic of Bunched Implications - D.Pym [Applied Logic Series] (Springer 2002)(T).pdf
  32. [ALS 27] An Introduction to Mathematical Logic and Type Theory. To Truth Through Proof - Peter B. Andrews [Applied Logic Series] (Springer 2002.2ed)(T).pdf
  33. [ALS 28] Thirty Five Years of Automating Mathematics - F.Kamareddine [Applied Logic Series] (Springer 2003)(T)(600dpi).djvu
  34. [ALS 28] Thirty Five Years of Automating Mathematics - F.Kamareddine [Applied Logic Series] (Springer 2003)(T).pdf
  35. [ALS 29] A Modern Perspective on Type Theory. From its Origins until Today [Applied Logic Series] (Kluwer 2004)(E).pdf
  36. [ALS 29] A Modern Perspective on Type Theory. From its Origins until Today [Applied Logic Series] (Kluwer 2004)(T)(600dpi).djvu
  37. [ALS 30] Inference on the Low Level. An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition [Applied Logic Series] (Springer 2004)(T).pdf
  38. [ALS 31] Automated Model Building - R.Caferra, A.Leitsch, N.Peltier [Applied Logic Series] (Springer 2004)(E).pdf
  39. [ALS 32] The Death of Argument. Fallacies in Agent Based Reasoning - J.Woods [Applied Logic Series] (Springer 2004)(T)(600dpi).djvu
  40. [ALS 32] The Death of Argument. Fallacies in Agent Based Reasoning - J.Woods [Applied Logic Series] (Springer 2004)(T).pdf
  41. [ALS 33] Reasoning Robots. The Art and Science of Programming Robotic Agents [Applied Logic Series] (Springer 2005)(E).pdf
  42. [ALS 34] Rigid Flexibility. The Logic of Intelligence - Pei Wang [Applied Logic Series] (Springer 2006)(E).pdf
  43. [ALS 35] Analysis and Synthesis of Logics. How to Cut and Paste Reasoning Systems [Applied Logic Series] (Springer 2008)(E).pdf
  44. [ALS 36] Proof Theory for Fuzzy Logics - Metcalfe, Olivetti, Gabbay [Applied Logic Series] (Springer 2008)(E).pdf
  45. [ALS 37] Hybrid Logic and its Proof-Theory - Torben Brauner [Applied Logic Series] (Springer 2011)(E).pdf


Full list of volumes

Link: http://www.springer.com/series/5632