A Proof-theoretic Treatment of Assignments
Wilfried Meyer-Viol · Logic Journal of IGPL · 1995
A Proof-theoretic Treatment of Assignments Get access WILFRIED MEYER-VIOL WILFRIED MEYER-VIOL CWI, Kruislaan 413, 1098 SJ Amsterdam, and OTS UtrechtTrans 10, 3512 JK Utrecht, The Netherlands E-mail:[email protected] Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 3, Issue 2-3, June 1995, Pages 223–242, https://doi.org/10.1093/jigpal/3.2-3.223 Published: 01 June 1995 Article history Received: 23 January 1994 Published: 01 June 1995