{"_id":"YmY6GnhGCiixhXn2m","bibbaseid":"beeson-continuityandcomprehensioninintuitionisticformalsystems-1977","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 17:10:43 +0000","date-modified":"2014-11-14 18:09:54 +0000","journal":"Pacific Journal of Mathematics","keywords":"Logic, Constructive mathematics","pages":"29-40","title":"Continuity and comprehension in intuitionistic formal systems","volume":"68","year":"1977","bibtex":"@article{beeson1977a,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 17:10:43 +0000},\n\tdate-modified = {2014-11-14 18:09:54 +0000},\n\tjournal = {Pacific Journal of Mathematics},\n\tkeywords = {Logic, Constructive mathematics},\n\tpages = {29-40},\n\ttitle = {Continuity and comprehension in intuitionistic formal systems},\n\tvolume = {68},\n\tyear = {1977}}\n\n","author_short":["Beeson, M."],"key":"beeson1977a","id":"beeson1977a","bibbaseid":"beeson-continuityandcomprehensioninintuitionisticformalsystems-1977","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","constructive mathematics"],"search_terms":["continuity","comprehension","intuitionistic","formal","systems","beeson"],"title":"Continuity and comprehension in intuitionistic formal systems","year":1977}