Panelist position statement: logic and models in computer science

DOI10.1098/rsta.2005.1654zbMath1152.68300WikidataQ51963622 ScholiaQ51963622MaRDI QIDQ5301854

Ursula Martin Webb

Publication date: 20 January 2009

Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1098/rsta.2005.1654

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

03A05: Philosophical and critical aspects of logic and foundations

68Q99: Theory of computing

Cites Work

• Unnamed Item