Completeness of indexed ∈-calculus.

Saved in:

Bibliographic Details
Title:	Completeness of indexed ∈-calculus.
Authors:	Mints, G. E., Sarenac, Darko
Source:	Archive for Mathematical Logic; Oct2003, Vol. 42 Issue 7, p617-625, 9p
Database:	Applied Science & Technology Source

Be the first to leave a comment!