The Foundations of Intuitionistic Mathematics

Especially In Relation to Recursive Functions

206 pages

English language

Published 1965 by North-Holland Pub. Co..

OCLC Number:
213692

View on OpenLibrary

No rating (0 reviews)

1 edition

Subjects

  • Intuitionistic mathematics
  • Recursive functions