A short introduction to intuitionistic logic / Grigori Mints [E-Book]
Mint͡s, G. E.
New York : Kluwer Academic / Plenum Publishers, 2000
ix, 131 pages
englisch
University series in mathematics
Full Text
Description not available.