کتاب های Grigori Mints
A Short Introduction to Intuitionistic Logic
Grigori Mints, 2000
Games, logic, and constructive sets
Grigori Mints, 2003
Games, Logic, and Constructive Sets
Grigori Mints, 2003
Games, Logic, and Constructive Sets
Grigori Mints, 2003
A Short Introduction to Intuitionistic Logic
Grigori Mints (auth.), 2002
