An edition of A short introduction to intuitionistic logic (2000)
By Grigori Mints
Publish Date
2000
Publisher
Kluwer Academic / Plenum Publishers
Language
eng
Pages
131