June 2003 From foundations to ludics
Jean-Yves Girard
Bull. Symbolic Logic 9(2): 131-168 (June 2003). DOI: 10.2178/bsl/1052669286
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
38 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.9 • No. 2 • June 2003
Back to Top