Home Advanced Search

Advanced Search - Page 1

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.)
Mathematical Problems from Applied Logic I: Logics for the XXIst Century
  • PDF
  • English
  • Year: 2006
  • Author: Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev (eds.)
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.)
Mathematical Problems from Applied Logic: Logics for the XXIst Century
  • PDF
  • English
  • Year: 2008
  • Author: Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
Mathematical Problems from Applied Logic I: Logics for the XXIst Century
  • PDF
  • English
  • Year: 2005
  • Author: Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
Mathematical Problems from Applied Logic I: Logics for the XXIst Century
  • PDF
  • English
  • Year: 2006
  • Author: Franz Baader, Ralf Küsters (auth.), Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev (eds.)
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
  • PDF
  • English
  • Year: 1993
  • 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.)
search