The Foundations of Intuitionistic Mathematics : Especially in Relation to Recursive Functions /

Hlavní autor:
Další autoři:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: Amsterdam : North-Holland Publ. Co., 1965
Edice: Studies in Logic and the Foundations of Mathematics
Předmět: