Proof, computation and agency: logic at the crossroads

Authors
Publication date 2011
ISBN
  • 9789400709201
Series Synthese library, 352
Publisher Dordrecht: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Book (Editorship)
Language English
Published at https://doi.org/10.1007/978-94-007-0080-2
Permalink to this page
Back