Home Advanced Search

Advanced Search - Page 1

Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
  • PDF
  • English
  • Year: 1998
  • Author: Jesús M. Larrazabal, Daniel Lascar, Grigori Mints (eds.)
Logic Colloquium 96: Proceedings of the Colloquium Held in San Sebastian, Spain, July 9-15, 1996
  • PDF
  • English
  • Year: 1999
  • Author: Jesus M. Larrazabal, D. Lascar, G. Mints
Cognition, Semantics and Philosophy: Proceedings of the First International Colloquium on Cognitive Science
  • PDF
  • English
  • Year: 1992
  • Author: Luis Aguado Aguilar (auth.), Jesús Ezquerro, Jesús M. Larrazabal (eds.)
A Short Introduction to Intuitionistic Logic
  • PDF
  • English
  • Year: 2000
  • Author: Grigori Mints
A Short Introduction to Intuitionistic Logic (The University Series in Mathematics)
  • PDF
  • English
  • Year: 2000
  • Author: Grigori Mints
Short Introduction to Intuitionistic Logic
  • PDF
  • English
  • Year: 2000
  • Author: Grigori Mints
Philosophy and Cognitive Science: Categories, Consciousness, and Reasoning: Proceeding of the Second International Colloquium on Cognitive Science
  • PDF
  • English
  • Year: 1996
  • Author: Martin Davies (auth.), Andy Clark, Jesús Ezquerro, Jesús M. Larrazabal (eds.)
A Short Introduction to Intuitionistic Logic
  • PDF
  • English
  • Year: 2002
  • Author: Grigori Mints (auth.)
COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Morozov Andrey (auth.), Per Martin-Löf, Grigori Mints (eds.)
Games, Logic, and Constructive Sets
  • DJVU
  • English
  • Year: 2003
  • Author: Grigori Mints, Reinhard Muskens
search