An edition of A short introduction to intuitionistic logic (2000)
By G. E. Mint︠s︡
Publish Date
2000
Publisher
Kluwer Academic / Plenum Publishers
Language
eng
Pages
131