Intuitionism : an introduction / edited by A. Heyting ... [et al.].
- 3rd ed..
- New York : North-Holland , cop. 1971 .
- VIII, 145 p. : il. ; 23 cm.
- (Studies in logic and the foundations of mathematics)
ISBN 0-7204-2239-6
Lógica
LCC QA76
ISBN 0-7204-2239-6
Lógica
LCC QA76