Advances in Proof-Theoretic Semantics
de Thomas Piecha, Peter Schroeder-Heister
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages
de Thomas Piecha, Peter Schroeder-Heister
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages
Springer · ISBN 9783319367811
Springer · inglés · ISBN 9783319071176