Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management* release_cgrpzn7ngzbg3mv3enaxbq2eee

by Dexter Kozen, Ganesh Ramanarayanan

Published in Games, Norms and Reasons by Springer Netherlands.

2011   p151-161

Archived Files and Locations

application/pdf  276.9 kB
file_uonkidtei5hdhp24xhsrjylile
www.cs.cornell.edu (web)
web.archive.org (webarchive)
application/pdf  150.2 kB
file_k6vsmkyxwrf55apteehqmzxpye
ecommons.cornell.edu (web)
www.cs.cornell.edu (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2011
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: b7fddf07-e08d-4337-a532-e45429b18a2d
API URL: JSON