Computability and emergence (2005)

by S B Cooper
Venue:In Mathematical Problems from Applied Logic. New Logics for the XXI-st Century II (eds. Gabbay D., Goncharov S., Zakharyaschev M.) Kluwer/Springer International Mathematical Series