Home Advanced Search

Advanced Search - Page 1

Quantification in nonclassical logic
  • GZ
  • English
  • Year: 2006
  • Author: Gabbay D., Shehtman V., Skvortsov D.
Quantification in Nonclassical Logic Draft
  • PDF
  • English
  • Year: 2007
  • Author: Gabbay D., Shehtman V., Skvortsov D.
Quantification in Nonclassical Logic
  • PDF
  • English
  • Year: 2009
  • Author: Dov Gabbay, Dimitrij Skvortsov, Valentin Shehtman
Quantification in Nonclassical Logic
  • DJVU
  • English
  • Year: 2009
  • Author: Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman
Quantification in Nonclassical Logic: Volume 1
  • PDF
  • Year: 2009
  • Author: D.M. Gabbay, V.B. Shehtman and D.P. Skvortsov (Eds.)
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]
  • PDF
  • English
  • Year: 1996
  • Author: Gabbay, D. M
What is a Logical System?
  • DJVU
  • English
  • Year: 1994
  • Author: D. M. Gabbay (Editor)
Goal-Directed Proof Theory
  • PDF
  • English
  • Year: 2000
  • Author: Gabbay D., Olivetti N.
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications
  • PDF
  • English
  • Year: 2008
  • Author: D. M. Gabbay, R. Schmidt, A. Szalas
Elementary Logic with Applications: A Procedural Perspective for Computer Scientists
  • DJVU
  • English
  • Year: 2016
  • Author: D M Gabbay, O T Rodrigues
search