A short introduction to intuitionistic logic
By: Grigori Mints
Series: University series in mathematics
Publisher: Kluwer Academic / Plenum Publishers
Published: 2000
Place of publication: New York
Language: eng
Format: [elektronische middelen] /
Number of pages: 131
ISBN-13: 9780306469756
Subjects: Electronic books; Intuitionistic mathematics; Mathématiques intuitionnistes; Intuïtionisme
Notes: Includes bibliographical references and index.