Foundations of Constructive Mathematics : Metamathematical Studies /

Bibliographic Details
Main Author: Beeson, Michael J.
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985.
Series:Ergebnisse der Mathematik und ihrer Grenzgebiete, A Series of Modern Surveys in Mathematics ; 6.
Subjects:
Online Access:Connect to the full text of this electronic book
Search Result 1
by Beeson, Michael J., 1945-
Published 1985
Book