Statistics
Publications
15
Citations
400
H-Index
12
Active since
1991
Affiliations
Stanford University(Current)
Grigori Mint︠s︡ is an author at Stanford University specializing in mathematics, computer science, and predicate logic.
Publications per year
1991–2010
15
15
Philip Kremer, Grigori Mint︠s︡ · Annals of Pure and Applied Logic · 2004 · 75 citations
Indexed systems of sequents and cut-elimination
Grigori Mint︠s︡ · Journal of Philosophical Logic · 1997 · 54 citations
A Short Introduction to Intuitionistic Logic
Helmut Schwichtenberg, Grigori Mint︠s︡ · Bulletin of Symbolic Logic · 2002 · 45 citations
Humanities, Philosophy, Logic +7
1–5 of 15