A short introduction to intuitionistic logic /

Bibliographic Details

Main Author:	Mint͡s, G. E.
Format:	Book
Language:	English
Published:	New York : Kluwer Academic / Plenum Publishers, [2000]
Series:	University series in mathematics (Plenum Press)
Subjects:	Intuitionistic mathematics.