Foundations of Constructive Mathematics: Metamathematical Studies (ERGEBNISSE DER MATHEMATIK UND IHRER GRENZGEBIETE 3 FOLGE)

Constructive

by Michael J. Beeson

Hardcover

ISBN: 978-0-387-12173-4

ISBN-10: 0-387-12173-0

Springer Verlag · 1985

See also:
1985TaschenbuchFoundations of Constructive Mathematics: Metamathematical Studies (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, Band 6)
1985Gebundene AusgabeFoundations of Constructive Mathematics: Metamathematical Studies (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, Band 6)