Gabbay, Dov M.
Catalogue records by Gabbay, Dov M. in the PakCat Union Catalogue.
6 catalogue recordsCatalogue records
HandBook Of Logic In Artificial Intelligence And Logic Programming
Gabbay Dov M
2009
Handbook of Quantum Logics and Quantum Structures
Engesser, Kurt
2007
Labelled deductive systems
Gabbay, Dov M.
1996
Philosophy of physics
Butterfield, Jeremy
2006
Philosophy of physics, volume part a
Butterfield, Jeremy
2007
Proof Theory for Fuzzy Logics
Metcalfe, George
2009