Logical Approaches to Computational Barriers

DOI10.1007/11780342zbMath1145.03303OpenAlexW4255986326WikidataQ55968647 ScholiaQ55968647MaRDI QIDQ5898854

Richard Zach

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) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items

The Different Ways in which Logic is (said to be) Formal