Problematic principles in constructive mathematics. Beeson, M. In van Dalen, D., D.~Lascar, & J.~Smiley, editors, Logic Colloquium '80, pages 11-55, Amsterdam, 1982. North-Holland. bibtex @inproceedings{beeson1982c,
address = {Amsterdam},
author = {Michael Beeson},
booktitle = {Logic Colloquium '80},
date-added = {2014-11-14 21:03:24 +0000},
date-modified = {2014-11-14 22:13:45 +0000},
editor = {Dirk van Dalen and D.~Lascar and J.~Smiley},
keywords = {Logic, Constructive mathematics},
pages = {11-55},
publisher = {North-Holland},
title = {Problematic principles in constructive mathematics},
year = {1982}}
Downloads: 0
{"_id":"aBem4fftsdy8ZZCGA","authorIDs":["2SdAzEbDMovr39m3H","4zHeuQRwDkMD6Xqr8","546642d9bc7d6a460d00089c","5de8d43e9e80cdde01000195","5defeac014db5cdf0100007c","5dfc2497ff6df7de01000070","5e03ae17a94129de0100000d","5e0dc417c7ca67df01000109","5e13f6acf8aa5dde01000042","5e2f4a4c26e5cadf0100001c","5e51bde132046bdf0100010a","5e51e8358240c0df01000020","5e69258d662319de010002c5","646esaGECfJjWFymd","7mrKCLm7cPiKm5CWg","B6skFWJok43hJg7At","BGLwXT98q3Kfv9QTj","QcRbyYqcCRCSzhNb4","SsSrsyDc8aoqbnh2Y","TqZdHatzyaM88iEPt","WRMwE6oZ4X9x2raNz","XXmWhRQTdX28SvTMv","Y6CDZWnAjiy5nMvqw","Z3LjuYrif98QXhXZM","b6rQCmwcvrZxCNy6n","bo9wnnFY7yzdyp7Ys","bzE2DwxKMcdB45SRa","chfLHypwisu7qBotT","dZMcb62spBJnnjs3t","dpRM5cTGAFrusW55R","gKswhtTyf2MZBNzTm","ggWmAzYnJEh8XEXgn","gpNwNhYtCK7mSpaXS","hH3KZcgia6CKuCB3K","iGE2RbobA9XCL82JW","kTLoeuwJ8R9Lz7wYx","ntERk8MYJbwtJvdLg","pCMiYg5EBwjkwPqC5","tKZHk67ZbM8m8gTG5","wREPnWGHjcJZafazQ","wwTsH4RwBNarDwfdT"],"author_short":["Beeson, M."],"bibbaseid":"beeson-problematicprinciplesinconstructivemathematics-1982","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Amsterdam","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Logic Colloquium '80","date-added":"2014-11-14 21:03:24 +0000","date-modified":"2014-11-14 22:13:45 +0000","editor":[{"firstnames":["Dirk"],"propositions":["van"],"lastnames":["Dalen"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["D.~Lascar"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["J.~Smiley"],"suffixes":[]}],"keywords":"Logic, Constructive mathematics","pages":"11-55","publisher":"North-Holland","title":"Problematic principles in constructive mathematics","year":"1982","bibtex":"@inproceedings{beeson1982c,\n\taddress = {Amsterdam},\n\tauthor = {Michael Beeson},\n\tbooktitle = {Logic Colloquium '80},\n\tdate-added = {2014-11-14 21:03:24 +0000},\n\tdate-modified = {2014-11-14 22:13:45 +0000},\n\teditor = {Dirk van Dalen and D.~Lascar and J.~Smiley},\n\tkeywords = {Logic, Constructive mathematics},\n\tpages = {11-55},\n\tpublisher = {North-Holland},\n\ttitle = {Problematic principles in constructive mathematics},\n\tyear = {1982}}\n\n","author_short":["Beeson, M."],"editor_short":["van Dalen, D.","D.~Lascar","J.~Smiley"],"key":"beeson1982c","id":"beeson1982c","bibbaseid":"beeson-problematicprinciplesinconstructivemathematics-1982","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T22:07:22.827Z","downloads":0,"keywords":["logic","constructive mathematics"],"search_terms":["problematic","principles","constructive","mathematics","beeson"],"title":"Problematic principles in constructive mathematics","year":1982,"dataSources":["v9esbf6gQ8h64d3NA"]}