Home Advanced Search

Advanced Search - Page 1

Handbook of Logic in Computer Science 5
  • PDF
  • English
  • Year: 2001
  • Author: S. Abramsky, Dov. M. Gabbay, T. S. E. Maibaum
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.)
Handbook of Logic in Computer Science. Volume 4: Semantic Modelling
  • DJVU
  • English
  • Year: 1995
  • 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 5: Logic and Algebraic Methods
  • DJVU
  • English
  • Year: 2001
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
  • DJVU
  • English
  • Year: 1991
  • Author: Luca Aceto (auth.), S. Abramsky, 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.
search