Types of $\mathsf{I}$ -Free Hereditary Right Maximal Terms.

Saved in:

Bibliographic Details
Title:	Types of $\mathsf{I}$ -Free Hereditary Right Maximal Terms.
Authors:	Bimbó, Katalin¹ kbimbo@linuxmail.org
Source:	Journal of Philosophical Logic. Oct/Dec2005, Vol. 34 Issue 5/6, p607-620. 14p.
Database:	Academic Search Ultimate

Description
ISSN:	00223611
DOI:	10.1007/s10992-005-2831-x