Home Advanced Search

Advanced Search - Page 1

Background Mathematical Structures
Background Mathematical Structures
  • DJVU
  • English
  • Year: 1995
  • Author: S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures
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.)
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
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
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 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)
search