Computerizing Mathematics: Logic and Computation. Beeson, M. In The Universal Turing Machine: A Half-Century Survey. Oxford University Press, 1988. Second edition, Springer-Verlag (1994)bibtex @incollection{beeson1988a,
author = {Michael Beeson},
booktitle = {The Universal Turing Machine: A Half-Century Survey},
date-added = {2014-11-14 21:44:47 +0000},
date-modified = {2014-11-14 21:48:56 +0000},
editor = {R. Herken},
keywords = {Logic, Computation},
note = {Second edition, Springer-Verlag (1994)},
publisher = {Oxford University Press},
title = {Computerizing Mathematics: Logic and Computation},
year = {1988}}
Downloads: 0
{"_id":"ApuQLD9drpWcEYt4X","bibbaseid":"beeson-computerizingmathematicslogicandcomputation-1988","author_short":["Beeson, M."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"The Universal Turing Machine: A Half-Century Survey","date-added":"2014-11-14 21:44:47 +0000","date-modified":"2014-11-14 21:48:56 +0000","editor":[{"firstnames":["R."],"propositions":[],"lastnames":["Herken"],"suffixes":[]}],"keywords":"Logic, Computation","note":"Second edition, Springer-Verlag (1994)","publisher":"Oxford University Press","title":"Computerizing Mathematics: Logic and Computation","year":"1988","bibtex":"@incollection{beeson1988a,\n\tauthor = {Michael Beeson},\n\tbooktitle = {The Universal Turing Machine: A Half-Century Survey},\n\tdate-added = {2014-11-14 21:44:47 +0000},\n\tdate-modified = {2014-11-14 21:48:56 +0000},\n\teditor = {R. Herken},\n\tkeywords = {Logic, Computation},\n\tnote = {Second edition, Springer-Verlag (1994)},\n\tpublisher = {Oxford University Press},\n\ttitle = {Computerizing Mathematics: Logic and Computation},\n\tyear = {1988}}\n\n","author_short":["Beeson, M."],"editor_short":["Herken, R."],"key":"beeson1988a","id":"beeson1988a","bibbaseid":"beeson-computerizingmathematicslogicandcomputation-1988","role":"author","urls":{},"keyword":["Logic","Computation"],"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","computation"],"search_terms":["computerizing","mathematics","logic","computation","beeson"],"title":"Computerizing Mathematics: Logic and Computation","year":1988}