Advances in proof-theoretic semantics. ([2016])
- Record Type:
- Book
- Title:
- Advances in proof-theoretic semantics. ([2016])
- Main Title:
- Advances in proof-theoretic semantics
- Further Information:
- Note: Thomas Piecha, Peter Schroeder-Heister, editors.
- Editors:
- Piecha, Thomas
Schroeder-Heister, Peter Joseph, 1953- - Other Names:
- International Conference on Proof-Theoretic Semantics, 2nd
- Contents:
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2016
- Copyright Date:
- 2016
- Extent:
- 1 online resource (vi, 283 pages)
- Subjects:
- 160
Proof theory -- Congresses
Semantics -- Mathematical models -- Congresses
Proof theory
Semantics -- Mathematical models
Logic
Philosophy
Philosophy & Religion
Philosophy
Logic
Mathematical Logic and Foundations
Mathematical Logic and Formal Languages
Semantics
Mathematics & science
Probability & statistics
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319226866
- Related ISBNs:
- 331922686X
9783319226859
3319226851 - Notes:
- Note: Includes bibliographical references.
Note: Online resource and print version record; title from PDF title page (SpringerLink, viewed March 6, 2017). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.381809
- Ingest File:
- 02_370.xml