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

Description
ISSN:	09335846
DOI:	10.1007/s00153-003-0170-6