Varieties of constructive mathematics

Book Cover
Author
Bridges, D. S. (Douglas S.)
Publisher
Cambridge University Press
Publication Date
1987
Language
English
Book
 Show Edition
Available from another library
Where is it?
Place Hold

Description

Loading Description...

NoveList

Published Reviews

Subjects

Subjects
Constructive mathematics
Infinity
Konstruktive Mathematik
Logic
Logique symbolique et mathématique
Matemática construtiva
MATHEMATICS
MATHEMATICS -- Infinity
MATHEMATICS -- Logic
Mathematische Logik
Mathématiques constructives
Sistemas lógicos não clássicos

More Details

Contributors
Richman, Fred,1938
ISBN
9780521318020
9781107361331

Staff View

Loading Staff View.