Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday /

Lignende værker

• Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /
  af: Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner
  Udgivet: (2007, c2007)
• Automated Deduction in Classical and Non-Classical Logics : Selected Papers /
  af: Ricardo Caferra, Gernot Salzer
  Udgivet: (2000, c2000)
• David Makinson on Classical Methods for Non-Classical Problems /
  af: Hansson, Sven Ove
  Udgivet: (2014, c2014)
• Belief Revision in Non-Classical Logics /
  af: Márcio Moretto Ribeiro
  Udgivet: (2013, c2013)
• Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /
  af: Jens Palsberg
  Udgivet: (2009, c2009)