A short introduction to intuitionistic logic
Saved in:
Main Authors: | |
---|---|
Published: |
Kluwer Academic / Plenum Publishers,
|
Publisher Address: | New York |
Publication Dates: | 2000. |
Literature type: | Book |
Language: | English |
Series: |
University series in mathematics |
Subjects: | |
Carrier Form: | ix, 131 p.: ; 24 cm. |
ISBN: | 0306463946 |
Index Number: | O141 |
CLC: | O141 |
Call Number: | O141/M667 |
Contents: | Includes bibliographical references and index. |