Foundations of constructive mathematics : metamathematical studies /

Bibliographic Details
Main Author: Beeson, Michael J. (Author, Autor/a)
Format: Book
Language:English
Published: Berlín : Springer, c1985.
Subjects:
Description
Physical Description:466 páginas