Logical Approaches to Computational Barriers

DOI10.1007/11780342zbMath1145.03301DBLPconf/cie/2006OpenAlexW4255986326WikidataQ55968647 ScholiaQ55968647MaRDI QIDQ5898810

John W. jun. Dawson

Publication date: 30 April 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11780342

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) History of computer science (68-03)

Related Items (1)

Did Turing stand on Gödel's shoulders?

This page was built for publication: Logical Approaches to Computational Barriers