W. Sieg, M. Szabó, und D. McLaughlin. Martin Davis on Computability, Computational Logic, and Mathematical Foundations, Volume 10 von Outstanding Contributions to Logic, Springer, (2016)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Book Section
%1 books/sp/16/SiegSM16
%A Sieg, Wilfried
%A Szabó, Máté
%A McLaughlin, Dawn
%B Martin Davis on Computability, Computational Logic, and Mathematical Foundations
%D 2016
%E Omodeo, Eugenio G.
%E Policriti, Alberto
%I Springer
%K dblp
%P 175-208
%T Why Post Did Not Have Turing's Thesis.
%U http://dblp.uni-trier.de/db/books/collections/OP2016.html#SiegSM16
%V 10
%@ 978-3-319-41842-1
@incollection{books/sp/16/SiegSM16,
added-at = {2018-12-28T00:00:00.000+0100},
author = {Sieg, Wilfried and Szabó, Máté and McLaughlin, Dawn},
biburl = {https://www.bibsonomy.org/bibtex/298ac64e98a319045c22043bd2b9a2e15/dblp},
booktitle = {Martin Davis on Computability, Computational Logic, and Mathematical Foundations},
crossref = {books/sp/2016OP},
editor = {Omodeo, Eugenio G. and Policriti, Alberto},
ee = {https://doi.org/10.1007/978-3-319-41842-1_7},
interhash = {052d68a2615ac238e0c47c8a669c0e9f},
intrahash = {98ac64e98a319045c22043bd2b9a2e15},
isbn = {978-3-319-41842-1},
keywords = {dblp},
pages = {175-208},
publisher = {Springer},
series = {Outstanding Contributions to Logic},
timestamp = {2018-12-29T11:36:53.000+0100},
title = {Why Post Did [Not] Have Turing's Thesis.},
url = {http://dblp.uni-trier.de/db/books/collections/OP2016.html#SiegSM16},
volume = 10,
year = 2016
}