The foundations of intuitionistic mathematics : especiallyin relation to recursive functions
Saved in:
| Main Author: | Kleene, Stephen Cole 1909- |
|---|---|
| Other Authors: | Vesley, Richard Eufene 1932- |
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam :
North-Holland Pub. Co.,
1965
|
| Series: | Studies in logic and the foundations of mathematics
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
The calculi of lambda-conversion
by: Church, Alonzo 1903-1995
Published: (1951) -
Intuitionism :
by: Heyting, A. (Arend) 1898-
Published: (1971) -
Principles of intuitionism
by: Troelstra, A. S. (Anne Sjerp)
Published: (1969) -
Intuitionism :
by: Heyting, A. (Arend), 1898-1980
Published: (1956) -
Mathematical logic
by: Kleene, Stephen Cole 1909-
Published: (1967)