Home Advanced Search

Advanced Search - Page 1

Temporal logic: vol.2, mathematical foundations and computational aspects
  • DJVU
  • English
  • Year: 2000
  • Author: Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
Temporal Logic: Mathematical Foundations and Computational Aspects
  • DJVU
  • English
  • Year: 1994
  • Author: Dov M. Gabbay, Ian Hodkinson, Mark Reynolds
Meta-Logical Investigations in Argumentation Networks
  • PDF
  • English
  • Year: 2013
  • Author: Dov M. Gabbay
Semantical investigations in Heyting's intuitionistic logic
  • DJVU
  • English
  • Year: 1981
  • Author: Gabbay, Dov M
The Rise of Modern Logic
  • EPUB
  • English
  • Year: 2004
  • Author: Gabbay, Dov M
Logic: A History of its Central Concepts
  • MOBI
  • English
  • Year: 2012
  • Author: Gabbay, Dov M
Analysis and synthesis of logics: How to cut and paste reasoning systems
  • PDF
  • English
  • Year: 2008
  • Author: Gouveia, Paula; Coniglio, Marcelo; Sernadas, Cristina; Carnielli, Walter; Gabbay, Dov M
Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems
  • PDF
  • English
  • Year: 2008
  • Author: Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
Handbook of the History of Logic, Volume 2: Mediaeval and Renaissance Logic
  • PDF
  • English
  • Year: 2008
  • Author: Gabbay, Dov M(Editor)
Handbook of the History of Logic, Volume 11: Logic: A History of its Central Concepts
  • PDF
  • English
  • Year: 2012
  • Author: Gabbay, Dov M(Editor)
search