Location & Availability for: Advances in proof-theoretic semantics

 Staff view

You must be logged in to Tag Records

Advances in proof-theoretic semantics /

Thomas Piecha, Peter Schroeder-Heister, editors.

Book Cover
Names: Piecha, Thomas, | Schroeder-Heister, Peter Joseph,
Published: Cham : Springer, [2016]
Series: Trends in logic ; v. 43.
Topics: Proof theory - Congresses. | Semantics - Mathematical models - Congresses. | Mathematical Logic and Foundations. | Mathematical Logic and Formal Languages. | Semantics.
Genres: Conference papers and proceedings. | Congresses. | Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Advances in proof-theoretic semantics