Analytic combinatory calculi and the elimination of transitivity.
Saved in:
| 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 |
| ISSN: | 09335846 |
|---|---|
| DOI: | 10.1007/s00153-003-0203-1 |