December 3, 2007· Logic Colloquium 2005
book-chapter
Proof analysis in non-classical logics
Authors:Sara Negri
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.