Cover Image
Read Now

1
by Bridges, Douglas S., Vita, Luminita Simona
Published 2006
Springer New York
“... algorithmically. The authors begin by outlining the history of constructive mathematics, and the logic and set...”
Cover Image
Read Now

2
by Bridges, Douglas S., Vîţă, Luminiţa Simona
Published 2011
Springer Berlin Heidelberg