Logical Approaches to Computational Barriers
From MaRDI portal
Publication:5898854
DOI10.1007/11780342zbMath1145.03303OpenAlexW4255986326WikidataQ55968647 ScholiaQ55968647MaRDI QIDQ5898854
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
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)
Related Items