Linear Logic
Book information
Similar books
Proofs and Types
1989 · DJVU
Proofs and Types
2003 · PDF
The Blind Spot: Lectures on Logic
2011 · PDF
The Blind Spot: Lectures on Logic
2011 · PDF
Cinq conférences sur l'indécidabilité
1983 · DJVU
Proofs and Types
1989 · PDF
Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)
1990 · DJVU
Advances in linear logic
1995 · DJVU