Cutland

Computability: An Introduction to Recursive Function Theory

By Cutland, Nigel

Nonstandard Analysis and its Applications (London Mathematical Society Student Texts, Series Number 10)

By Cutland, Nigel