Resource Logics: Proof-Theoretical Investigations

Samenvatting

The key topic of this thesis is the Lambek Calculus.

Originele taal-2	Engels
Kwalificatie	Doctor of Philosophy
Toekennende instantie	Universiteit van Amsterdam (UvA)
Plaats van publicatie	Amsterdam
Status	Gepubliceerd - 1991

Toegang tot document

• Roorda (1991) - Resource Logics - Proof-theoretical InvestigationsAccepted author manuscript, 5,24 MBLicentie: CC BY-SA

Vingerafdruk

Duik in de onderzoeksthema's van 'Resource Logics: Proof-Theoretical Investigations'. Samen vormen ze een unieke vingerafdruk.

• resources Social Sciences 100%

Volledige vingerafdruk bekijken

Citeer dit

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Roorda, D. (1991). Resource Logics: Proof-Theoretical Investigations.

Roorda, Dirk. / Resource Logics : Proof-Theoretical Investigations. Amsterdam, 1991. 138 blz.

@phdthesis{60e14a7aa3754c6c8e68dc8ba3481eb6,

title = "Resource Logics: Proof-Theoretical Investigations",

abstract = "The key topic of this thesis is the Lambek Calculus.",

keywords = "Lambek Calculus, Linear Logic",

author = "Dirk Roorda",

year = "1991",

language = "English",

school = "University of Amsterdam",

}

Roorda, D 1991, 'Resource Logics: Proof-Theoretical Investigations', Doctor of Philosophy, Universiteit van Amsterdam (UvA), Amsterdam.

Resource Logics : Proof-Theoretical Investigations. / Roorda, Dirk.

Amsterdam, 1991. 138 blz.

Onderzoeksoutput: PhD Thesis (Proefschrift) › PhD thesis (Proefschrift)

TY - THES

T1 - Resource Logics

T2 - Proof-Theoretical Investigations

AU - Roorda, Dirk

PY - 1991

Y1 - 1991

N2 - The key topic of this thesis is the Lambek Calculus.

AB - The key topic of this thesis is the Lambek Calculus.

KW - Lambek Calculus

KW - Linear Logic

M3 - PhD thesis

CY - Amsterdam

ER -

Roorda D. Resource Logics: Proof-Theoretical Investigations. Amsterdam, 1991. 138 blz.