Original language | English |
---|---|
Pages (from-to) | 1132-1132 |
Journal | Journal of symbolic logic |
Volume | 56 |
Issue number | 3 |
DOIs | |
Publication status | Published - 1991 |
Event | European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 1990 - Helsinki, Finland Duration: 15 Jul 1990 → 22 Jul 1990 |
Introducing equational type logic
Vicenzo Manca, Antonino Salibra, Giuseppe Scollo
Research output: Contribution to journal › Meeting Abstract › Academic
2
Downloads
(Pure)