The foundations of intuitionistic mathematics, especially in relation to recursive functions /

The foundations of intuitionistic mathematics, especially in relation to recursive functions /

Saved in:
Bibliografiske detaljer
Hovedforfatter: Kleene, Stephen Cole, 1909-
Andre forfattere: Vesley, Richard Eugene, 1932-
Format: Bog
Sprog:English
Udgivet: Amsterdam : North-Holland Pub. Co., 1965.
Serier:Studies in logic and the foundations of mathematics
Fag:
Metamathematics.
Recursive functions.
Beskrivelse
Emne beskrivelse:Bibliography: p. [187]-199.
Fysisk beskrivelse:206 p.

Lignende værker