| title | author | editor | publisher | year | bookcover | info |
|---|---|---|---|---|---|---|
| Ancient Formal Logic | I. M. Bochenski | Editors L. E. J. Brouwer / E. W. Beth / A. Heyting | North-Holland Publishing Company - Amsterdam | 1968 |  |  |
| title | author | publisher | year | language | softcover |
|---|---|---|---|---|---|
| STUDIES IN LOGIC INTUITIONISM AN INTRODUCTION | A. HEYTING Prof. of Mathematics University of Amsterdam | NORTH-HOLLAND PUBLISHING COMPANY AMSTERDAM | 1966 | ENGLISH | x |