Analytic combinatory calculi and the elimination of transitivity.

Saved in:
Bibliographic Details
Title: Analytic combinatory calculi and the elimination of transitivity.
Authors: Minari, Pierluigi1 minari@philos.unifi.it
Source: Archive for Mathematical Logic. Feb2004, Vol. 43 Issue 2, p159-191. 33p.
Database: Academic Search Ultimate
Description
ISSN:09335846
DOI:10.1007/s00153-003-0203-1