Advances in Proof-Theoretic Semantics
Contributors: Schroeder-Heister, Peter
Publisher: Springer
Published: 2014
Place of publication: Cham
Language: eng
Number of pages: 283
ISBN-13: 9783319071176; 9783319071183
Subjects: Probability & statistics; Mathematics & science
Description: Logic;  Mathematical Logic and Foundations;  Mathematical Logic and Formal Languages
Notes: English.