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

By G. E. Mints, Grigori Mints

"Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. To make the material more accessible, basic techniques are pr...

A short introduction to intuitionistic logic

By Grigori Mints

Short introduction to modal logic

By Grigori Mints

Games Logic and Constructive Sets Center for the Study of Language and Information Lecture Notes

By

Games Logic and Constructive Sets Center for the Study of Language and Information Lecture Notes

By

Colog 88

By International Conference On Computer Logic 1988 Tallinn Estonia

Selected papers in proof theory

By G. E. Mints

A short introduction to modal logic

By G. E. Mints