CComputability and continuity in finite typesComputability and continuity in finite typesde J. A. BergstraMateriasRecursive functionsEdiciones (2)Computability and continuity in finite types (1976)Rijksuniversiteit · inglésComputability and Continuity in Finite Types (1951)inglésMás obras de J. A. BergstraHandbook of network and system administrationAlgebraic methods IIThe history of information security
