The mechanization of mathematics. Beeson, M. In Alan Turing: Life and Legacy of a Great Thinker, pages 77-134. Springer-Verlag, Berlin Heidelberg New York, 2003.
![The mechanization of mathematics [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @incollection{beeson2003,
address = {Berlin Heidelberg New York},
author = {Michael Beeson},
booktitle = {Alan Turing: Life and Legacy of a Great Thinker},
date-added = {2014-11-13 23:16:55 +0000},
date-modified = {2014-11-14 18:15:34 +0000},
editor = {Christopher Teuscher},
keywords = {Automated deduction},
pages = {77-134},
publisher = {Springer-Verlag},
title = {The mechanization of mathematics},
url_pdf = {turing2.pdf},
year = {2003}}Downloads: 0
{"_id":"4dHi7wKLwW4jbSXdc","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-themechanizationofmathematics-2003","bibdata":{"bibtype":"incollection","type":"incollection","address":"Berlin Heidelberg New York","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Alan Turing: Life and Legacy of a Great Thinker","date-added":"2014-11-13 23:16:55 +0000","date-modified":"2014-11-14 18:15:34 +0000","editor":[{"firstnames":["Christopher"],"propositions":[],"lastnames":["Teuscher"],"suffixes":[]}],"keywords":"Automated deduction","pages":"77-134","publisher":"Springer-Verlag","title":"The mechanization of mathematics","url_pdf":"turing2.pdf","year":"2003","bibtex":"@incollection{beeson2003,\n\taddress = {Berlin Heidelberg New York},\n\tauthor = {Michael Beeson},\n\tbooktitle = {Alan Turing: Life and Legacy of a Great Thinker},\n\tdate-added = {2014-11-13 23:16:55 +0000},\n\tdate-modified = {2014-11-14 18:15:34 +0000},\n\teditor = {Christopher Teuscher},\n\tkeywords = {Automated deduction},\n\tpages = {77-134},\n\tpublisher = {Springer-Verlag},\n\ttitle = {The mechanization of mathematics},\n\turl_pdf = {turing2.pdf},\n\tyear = {2003}}\n\n","author_short":["Beeson, M."],"editor_short":["Teuscher, C."],"key":"beeson2003","id":"beeson2003","bibbaseid":"beeson-themechanizationofmathematics-2003","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/turing2.pdf"},"keyword":["Automated deduction"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"incollection","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:50.012Z","downloads":3,"keywords":["automated deduction"],"search_terms":["mechanization","mathematics","beeson"],"title":"The mechanization of mathematics","year":2003,"dataSources":["v9esbf6gQ8h64d3NA"]}