Foundations of Constructive Mathematics. Beeson, M. J. Springer, Berlin, 1985. bibtex @BOOK{Bee85,
title = {Foundations of {C}onstructive {M}athematics},
publisher = {Springer},
year = {1985},
author = {Beeson, Michael J.},
series = {A Series of Modern Surveys in Mathematics},
address = {Berlin},
keywords = {bib,con},
vol = {6}
}
Downloads: 0
{"_id":"xFBRucMqvTEdMjPzM","bibbaseid":"beeson-foundationsofconstructivemathematics-1985","downloads":0,"creationDate":"2018-10-05T11:34:47.116Z","title":"Foundations of Constructive Mathematics","author_short":["Beeson, M. J."],"year":1985,"bibtype":"book","biburl":"http://cca-net.de/publications/lit.bib","bibdata":{"bibtype":"book","type":"book","title":"Foundations of Constructive Mathematics","publisher":"Springer","year":"1985","author":[{"propositions":[],"lastnames":["Beeson"],"firstnames":["Michael","J."],"suffixes":[]}],"series":"A Series of Modern Surveys in Mathematics","address":"Berlin","keywords":"bib,con","vol":"6","bibtex":"@BOOK{Bee85,\r\n title = {Foundations of {C}onstructive {M}athematics},\r\n publisher = {Springer},\r\n year = {1985},\r\n author = {Beeson, Michael J.},\r\n series = {A Series of Modern Surveys in Mathematics},\r\n address = {Berlin},\r\n keywords = {bib,con},\r\n vol = {6}\r\n}\r\n\r\n","author_short":["Beeson, M. J."],"key":"Bee85","id":"Bee85","bibbaseid":"beeson-foundationsofconstructivemathematics-1985","role":"author","urls":{},"keyword":["bib","con"],"downloads":0},"search_terms":["foundations","constructive","mathematics","beeson"],"keywords":["bib","con"],"authorIDs":[],"dataSources":["t7rKiAbxugj4Agz8M"]}