A short introduction to intuitionistic logic / Grigori Mints.

Author/creator Mint͡s, G. E.
Format Electronic
Publication InfoNew York : Kluwer Academic / Plenum Publishers,
Descriptionix, 131 p. ; 24 cm.
Supplemental ContentFull text available from eBooks on EBSCOhost
Supplemental ContentFull text available from Ebook Central - Academic Complete
Subjects

SeriesUniversity series in mathematics
University series in mathematics (Plenum Press) ^A229183
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 00035703
ISBN0306463946