P. Schroeder-Heister
2 published titles
Substructural logics
(Contributor)
1 edition
- ISBN: 0198537778
- Clarendon
- 1993
- Details
Proof theory in computer science : International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12 2001 : proceedings
(Contributor)
1 edition
- ISBN: 354042752X
- Springer
- 2001
- Details
