Franklin

Advances in proof-theoretic semantics / Thomas Piecha, Peter Schroeder-Heister, editors.

Publication:
Cham [Switzerland] ; New York : Springer, c2016.
Conference Name:
International Conference on Proof-Theoretic Semantics (2nd : 2013 : Tübingen, Germany)
Series:
Trends in logic ; v. 43.
Trends in logic ; v. 43
Format/Description:
Conference/Event
Book
vi, 283 pages ; 25 cm.
Subjects:
Semantics -- Mathematical models -- Congresses.
Proof theory -- Congresses.
Proof theory.
Semantics -- Mathematical models.
Form/Genre:
Conference papers and proceedings.
Notes:
Most of the papers in this volume result from the second conference on proof-theoretic semantics in Tübingen in 2013.
Includes bibliographical references.
Local notes:
Acquired for the Penn Libraries with assistance from the Class of 1924 Book Fund.
Contributor:
Piecha, Thomas.
Schroeder-Heister, Peter Joseph, 1953-
Class of 1924 Book Fund.
ISBN:
3319226851
9783319226859
9783319226866
OCLC:
932396126
Publisher Number:
99966161666
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy