Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Grigori Mints | lit.salon

Author

Grigori Mints

3 works

2000–2013 across 3 dated works

No biography is available yet.

Start with

A Short Introduction to Intuitionistic Logic (University Series in Mathematics) (University Series in Mathematics)2000
Games, Logic, and Constructive Sets (Center for the Study of Language and Information - Lecture Notes)2003
With Reinhard Muskens
Short Introduction to Intuitionistic Logic2013

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Games, Logic, and Constructive Sets (Center for the Study of Language and Information - Lecture Notes)2003
With Reinhard Muskens
1 edition
shelves
0
reviews
0
lists
0
quotes
0
A Short Introduction to Intuitionistic Logic (University Series in Mathematics) (University Series in Mathematics)2000
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Short Introduction to Intuitionistic Logic2013
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Grigori Mints.

The conversation is still open.

There is no public salon activity to show for Grigori Mints yet.