Home Advanced Search

Advanced Search - Page 1

Games, Logic, and Constructive Sets
  • DJVU
  • English
  • Year: 2003
  • Author: Grigori Mints, Reinhard Muskens
Games, logic, and constructive sets
  • DJVU
  • English
  • Year: 2003
  • Author: Grigori Mints, Reinhard Muskens
Games, Logic, and Constructive Sets
  • DJVU
  • English
  • Year: 2003
  • Author: Grigori Mints, Reinhard Muskens
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
A Short Introduction to Intuitionistic Logic
  • PDF
  • English
  • Year: 2002
  • Author: Grigori Mints (auth.)
Meaning and Partiality
  • PDF
  • English
  • Year: 1995
  • Author: Reinhard Muskens
Computing Meaning: Volume 3
  • PDF
  • English
  • Year: 2007
  • Author: Harry Bunt, Reinhard Muskens
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.)
search