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

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