Proof, computation and agency. Logic at the crossroads
From MaRDI portal
Publication:691169
DOI10.1007/978-94-007-0080-2zbMath1260.03004OpenAlexW403793928MaRDI QIDQ691169
No author found.
Publication date: 30 November 2012
Published in: Synthese Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-007-0080-2
Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
This page was built for publication: Proof, computation and agency. Logic at the crossroads
