Yiannis N. Moschovakis
- Kleene's Amazing Second Recursion Theorem
2010/06/01 by Yiannis N. Moschovakis · 1 voice · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Logic, programming, and type systems