Computing with functionals - computability theory or computer science (2006)

by Dag Normann
Venue:Bulletin of Symbolic Logic
Citations:3 - 1 self