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)
133
Downloads
(Pure)