Provability, Computability and Reflection: Volume 39
Published on 1. April 2000
Book
Hardback
205 pages
978-0-444-53404-0 (ISBN)
More details
Series
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
Professional and scholarly
ISBN-13
978-0-444-53404-0 (9780444534040)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Lev D. Beklemishev
The Foundations of Intuitionistic Mathematics
Especially in Relation to Recursive Functions
E-Book
05/2014
Elsevier
€215.00
Available for download