The Foundations of intuitionistic mathematics especially in relation to recursive functions
| Príomhchruthaitheoir: | |
|---|---|
| Rannpháirtithe: | |
| Formáid: | LEABHAR |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Amsterdam
North-Holland Publishing
1965.
|
| Sraith: | Studies in logic and the foundations of mathematics.
|
| Ábhair: |