The top documents tagged [lecture notes inlogicj]
Shoenfield - Recursion Theory
295 views