Cover Image
Read Now

1
by Mitchell, William J., Steel, J. R.
Published 2016
Cambridge University Press
Subjects: “...Constructive mathematics...”
Cover Image
Read Now

2
by Steel, J. R.
Published 2016
Cambridge University Press
Subjects: “...Constructibility (Set theory)...”
Cover Image
Read Now

3
Published 1999
Cambridge University Press
Table of Contents: “... not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David...”