Browsing eNauka

Browsing by Author Schroeder-Heister, Peter

Showing results 1 to 3 of 3
Issue DateTitleAuthor(s)TypeМ-cat.
2015Advances in Proof-Theoretic Semantics: IntroductionPiecha, Thomas; Schroeder-Heister, PeterBook parts
Mp. category will be shown later
1985Conservativeness and uniquenessDošen, Kosta  ; Schroeder-Heister, PeterArticle
Mp. category will be shown later
1994Substructural logicsMonograph
Mp. category will be shown later