Samenvatting
The key topic of this thesis is the Lambek Calculus.
| Originele taal-2 | Engels |
|---|---|
| Kwalificatie | Doctor of Philosophy |
| Toekennende instantie | |
| Plaats van publicatie | Amsterdam |
| Status | Gepubliceerd - 1991 |
Resource Logics: Proof-Theoretical Investigations
Onderzoeksoutput: PhD Thesis (Proefschrift) › PhD thesis (Proefschrift)
49
Downloads
(Pure)