Epsilon Substitution Method for Δ11 − CR: a Constructive Termination Proof.

Saved in:

Bibliographic Details
Title:	Epsilon Substitution Method for Δ11 − CR: a Constructive Termination Proof.
Authors:	Tupailo, Sergei¹
Source:	Logic Journal of the IGPL; 2003, Vol. 11 Issue 3, p367-377, 11p
Database:	Applied Science & Technology Source

Description
ISSN:	13670751
DOI:	10.1093/jigpal/11.3.367