Last update: Sat Oct 14 02:51:54 MDT 2017
@Article{Goodman:1972:FBC, author = "Nicolas D. Goodman and John Myhill", title = "The formalization of {Bishop}'s constructive mathematics", journal = j-LECT-NOTES-MATH, volume = "274", pages = "83--96", year = "1972", CODEN = "LNMAA2", DOI = "https://doi.org/10.1007/BFb0073966", ISBN = "3-540-05920-2 (print), 3-540-37609-7 (e-book)", ISBN-13 = "978-3-540-05920-2 (print), 978-3-540-37609-5 (e-book)", ISSN = "0075-8434 (print), 1617-9692 (electronic)", ISSN-L = "0075-8434", MRclass = "02E99 (02C15)", MRnumber = "0354329 (50 \#6809)", MRreviewer = "B. van Rootselaar", bibdate = "Fri May 9 19:07:45 MDT 2014", bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1970.bib", URL = "http://link.springer.com/chapter/10.1007/BFb0073966/", acknowledgement = ack-nhfb, book-DOI = "https://doi.org/10.1007/BFb0073961", book-URL = "http://www.springerlink.com/content/978-3-540-37609-5", fjournal = "Lecture Notes in Mathematics", journal-URL = "http://link.springer.com/bookseries/304", }