Home Advanced Search

Advanced Search - Page 1

Time for Verification: Essays in Memory of Amir Pnueli
Time for Verification: Essays in Memory of Amir Pnueli
  • PDF
  • English
  • Year: 2010
  • Author: Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
软件可靠性方法
  • PDF
  • Chinese
  • Year: 2012
  • Author: Doron A. Peled
The Rise of Modern Logic
The Rise of Modern Logic
  • EPUB
  • English
  • Year: 2004
  • Author: Gabbay, Dov M
Logic: A History of its Central Concepts
Logic: A History of its Central Concepts
  • MOBI
  • English
  • Year: 2012
  • Author: Gabbay, Dov M
Semantical investigations in Heyting's intuitionistic logic
Semantical investigations in Heyting's intuitionistic logic
  • DJVU
  • English
  • Year: 1981
  • Author: Gabbay, Dov M
Meta-Logical Investigations in Argumentation Networks
Meta-Logical Investigations in Argumentation Networks
  • PDF
  • English
  • Year: 2013
  • Author: Dov M. Gabbay
Handbook of the History of Logic, Volume 11: Logic: A History of its Central Concepts
Handbook of the History of Logic, Volume 11: Logic: A History of its Central Concepts
  • PDF
  • English
  • Year: 2012
  • Author: Gabbay, Dov M(Editor)
Handbook of the History of Logic, Volume 2: Mediaeval and Renaissance Logic
Handbook of the History of Logic, Volume 2: Mediaeval and Renaissance Logic
  • PDF
  • English
  • Year: 2008
  • Author: Gabbay, Dov M(Editor)
Handbook of Philosophical Logic
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2018
  • Author: Dov M. Gabbay, Franz Guenthner (eds.)
Handbook of Philosophical Logic: Volume 16
Handbook of Philosophical Logic: Volume 16
  • PDF
  • English
  • Year: 2011
  • Author: Odinaldo Rodrigues, Dov Gabbay, Alessandra Russo (auth.), Dov M. Gabbay, Franz Guenthner (eds.)
search