The foundations of intuitionistic mathematics, especially in relation to recursive functions /
41
Main Author: | |
---|---|
Format: | |
Published: |
Amsterdam : North Holland,
1965
|
Subjects: |
41
Main Author: | |
---|---|
Format: | |
Published: |
Amsterdam : North Holland,
1965
|
Subjects: |