Home Advanced Search

Advanced Search - Page 1

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures
  • PDF
  • English
  • Year: 1993
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 4: Semantic Modelling
  • PDF
  • English
  • Year: 1995
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 3: Semantic Structures
  • DJVU
  • English
  • Year: 1994
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 2: Background: Computational structures
  • DJVU
  • English
  • Year: 1992
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Background Mathematical Structures
  • DJVU
  • English
  • Year: 1995
  • Author: S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum (eds.)
Lambda Calculi with Types. A chapter from. Handbook of logic in computer science, vol.2
  • PDF
  • English
  • Year: 1992
  • Author: Barendregt H.P.;edited by Abramsky S., Gabbay D.M., Maibaum T.S.E.
Mathematical Problems from Applied Logic II: Logics for the XXIst Century
  • PDF
  • English
  • Year: 2007
  • Author: Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev (eds.)
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2018
  • Author: Dov M. Gabbay, Franz Guenthner (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.)
search