A method of epsilon substitution for the predicate logic with equality.

Saved in:

Bibliographic Details
Title:	A method of epsilon substitution for the predicate logic with equality.
Authors:	Mints, G.
Source:	Journal of Mathematical Sciences. Oct1997, Vol. 87 Issue 1, p3234-3252. 19p.
Database:	Mathematics Source

Description
ISSN:	10723374
DOI:	10.1007/BF02358997