Home Advanced Search

Advanced Search - Page 1

Labelled deduction
  • DJVU
  • English
  • Year: 2000
  • Author: David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)
Labelled Deduction
  • PDF
  • English
  • Year: 2000
  • Author: David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)
Handbook of Tableau Methods
  • PDF
  • English
  • Year: 1999
  • Author: Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)
Handbook of tableau methods
  • DJVU
  • English
  • Year: 1999
  • Author: Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)
Handbook of Philosophical Logic. Volume I: Elements of Classical Logic
  • DJVU
  • English
  • Year: 1983
  • Author: Dov M. Gabbay, Franz Guenthner (eds.)
Handbook of Philosophical Logic. Volume II: Extensions of Classical Logic
  • DJVU
  • English
  • Year: 1984
  • Author: Dov M. Gabbay, Franz Guenthner (eds.)
Handbook of Philosophical Logic. Volume IV: Topics in the Philosophy of Language
  • DJVU
  • English
  • Year: 1989
  • Author: Dov M. Gabbay, Franz Guenthner (eds.)
Handbook of the History of Logic. Volume 03: The Rise of Modern Logic: From Leibniz to Frege
  • DJVU
  • English
  • Year: 2004
  • Author: Dov M. Gabbay, John Woods (eds.)
Handbook of Philosophical Logic
  • DJVU
  • English
  • Year: 2001
  • Author: Dov M. Gabbay, Franz Guenthner (eds.)
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2007
  • Author: Dov M. Gabbay, Franz Guenthner (eds.)
search