Grigori Mints

Grigori Mints

3 books in the database

Books

Games, Logic, and Constructive SetsGrigori Mints

Games, Logic, and Constructive Sets

Grigori Mints · 2003

A Short Introduction to Intuitionistic Logic (University Series in Mathematics) (University Series in Mathematics)Grigori Mints

A Short Introduction to Intuitionistic Logic (University Series in Mathematics) (University Series in Mathematics)

Grigori Mints · 2000

Short Introduction to Intuitionistic LogicGrigori Mints

Short Introduction to Intuitionistic Logic

Grigori Mints · 2013