A short introduction to intuitionistic logic [electronic resource] / Grigori Mints.
Material type:
TextSeries: University series in mathematics (Plenum Press)Publication details: New York : Kluwer Academic / Plenum Publishers, 2000.Description: ix, 131 pSubject(s): Genre/Form: DDC classification: - 511/.22 21
- QA9.47 .M56 2000eb
No physical items for this record
Includes bibliographical references and index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments on this title.
Log in to your account to post a comment.