Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

Home
Books
Peter Schroeder-Heister

Peter Schroeder-Heister

No biography available.

Works (2)

Cover of Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Cover of Proof theory in computer science

Proof theory in computer science

View on Open Library ↗ · data from Open Library (CC0)

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.