A Short Introduction To Intuitionistic Logic
by Grigori Mints /
2000 / English / PDF
10.6 MB Download
Readers are assumed to be familiar with basic notions of first order logic.".