Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Peter Schroeder-Heister | lit.salon

Author

Peter Schroeder-Heister

4 works

2001–2022 across 4 dated works

No biography is available yet.

Start with

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)2001
With Reinhard Kahle
Advances in Proof-Theoretic Semantics2014
With Thomas Piecha
Extensions of Logic Programming Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings2014
With Lars-Henrik Eriksson, Lars Hallnäs
Logical Writings of Karl Popper2022
With David Binder, Thomas Piecha

Books

4 works

Featured (4)Featured (4)All (4)All (4)

Search booksSort books

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)2001
With Reinhard Kahle
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Advances in Proof-Theoretic Semantics2014
With Thomas Piecha
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Extensions of Logic Programming Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings2014
With Lars-Henrik Eriksson, Lars Hallnäs
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Logical Writings of Karl Popper2022
With David Binder, Thomas Piecha
2 editions
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Peter Schroeder-Heister.

The conversation is still open.

There is no public salon activity to show for Peter Schroeder-Heister yet.