Provability, Computability and Reflection: Volume 89
Published on 1. April 2000
Book
Hardback
306 pages
978-0-7204-0752-5 (ISBN)
More details
Other editions
Additional editions
Ayda I. Arruda | Lev D. Beklemishev
Non-Classical Logics, Model Theory, and Computability
Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
E-Book
05/2014
Elsevier
€215.00
Available for download