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

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

Uloženo v:
Podrobná bibliografie
Hlavní autor: Kleene, Stephen Cole, 1909-
Další autoři: Vesley, Richard Eugene, 1932-
Médium: Kniha
Jazyk:English
Vydáno: Amsterdam : North-Holland Pub. Co., 1965.
Edice:Studies in logic and the foundations of mathematics
Témata:
Metamathematics.
Recursive functions.
Popis
Popis jednotky:Bibliography: p. [187]-199.
Fyzický popis:206 p.

Podobné jednotky