Cover Image
Read Now

1
Published 2022
Springer International Publishing
Table of Contents: “... -- Computability in Mathematics -- Computability in Set Theory -- Computability Theory -- Constructive Mathematics...”
Cover Image
Read Now

2
Published 2001
Springer Netherlands
“... in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
“.... Computations may be very general, depending upon the foundations of set theory; or very speci?c, using...”