Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-5 of 5)
Schroeder-Heister, Peter Joseph, 1953-
1 2016 Advances in proof-theoretic semantics Cham : Springer, [2016] Rating:
2 1996 Extensions of Logic Programming : 5th International Workshop, ELP '96 Leipzig, Germany, March 28-30, 1996 Proceedings ELP '96 (1996 : Leipzig, Germany) Rating: Electronic Resources
3 1991 Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings Rating: Electronic Resources
4 1992 Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991, proceedings ELP '91 (1991 : Swedish Institute of Computer Science) Berlin ; New York : Springer-Verlag, ©1992 Rating: Electronic Resources
5 2022 The logical writings of Karl Popper Popper, Karl R. (Karl Raimund), 1902-1994, author. Cham : Springer, [2022] Rating: Electronic Resources
Add Marked to Bag Add All On Page Locate in results

Advances in proof-theoretic semantics