Advances in proof-theoretic semantics

Author(s)

• Piecha, Thomas
• Schroeder-Heister, Peter Joseph

Bibliographic Information

Advances in proof-theoretic semantics

Thomas Piecha, Peter Schroeder-Heister, editors

（Trends in logic : studia logica library, 43）

Springer, c2016

Note

Includes bibliographical references

Details

• NCID: BB22409981
• ISBN:
  • 9783319226859
• LCCN: 2015949264
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: vi, 283 p.
• Size: 25 cm
• Classification:
  • DC23 : 401.43
• Subject Headings:
  • LCSH : Semantics -- Mathematical models -- Congresses
  • LCSH : Proof theory -- Congresses
• Parent Bibliography ID:
  • BA32227531