Theory and Applications of Computability

Serie • 4 libros • Computadoras
Programs as Diagrams Programs as Diagrams
Dusko Pavlovic
The Incomputable The Incomputable
S. Barry Cooper & Mariya I. Soskova
Algorithmic Randomness and Complexity Algorithmic Randomness and Complexity
Rodney G. Downey & Denis R. Hirschfeldt
Apartness and Uniformity Apartness and Uniformity
Douglas S. Bridges & Luminiţa Simona Vîţă