Search Results

1 - 1 of 1 results for "Mints, Grigori"

A Short Introduction to Intuitionistic Logic
Springer US (2006)
US$99.00

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical...