A short introduction to intuitionistic logic [electronic resource] / Grigori Mints.

Show other versions (1)
Bibliographic Details
Uniform Title:University series in mathematics (Plenum Press)
Main Author: Mint︠s︡, G. E.
Language:English
Published: New York : Kluwer Academic / Plenum Publishers, 2000.
Series:University series in mathematics (Plenum Press)
Subjects:
Intuitionistic mathematics.
Online Access:
Springer Book Archive - Mathematics: 2000 (Springer Link)
Variant Title:
Short Introduction to Intuitionistic Logic (University series in mathematics)
Format: Electronic eBook
Search Result 1

A short introduction to intuitionistic logic

Authors: Mint︠s︡, G. E.
Published: Kluwer Academic / Plenum Publishers, 2000
ProQuest Ebook Central - Academic Complete: 2000 (Ebook Central @ Proquest)
Electronic eBook
Show all versions (2)