|
| NON posseduto | |
| Autore principale: | Troelstra, Anne S.
|
| Titolo: | Logic in the writings of Brouwer and Heyting / A.S. Troelstra. |
| Visionato in: | BNCF |
| In: |  Atti del Convegno internazionale di storia della logica. Bologna : CLUEB, 1983. p. 193-210 |
| Discipline: | Logica matematica--Persone. |
| Persone: | Brouwer, Luitzen Egbertus Jan, 1881-1966. Heyting, Arend, 1898-1980. |
| Sudd. cronologiche: | Secolo XX. |
| 000000214418 |
--------------------------------------