N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57, College Publications, London, 2015, xx + 415 pp.
DOI10.1017/BSL.2019.42zbMath1435.00022OpenAlexW2981757147WikidataQ126990613 ScholiaQ126990613MaRDI QIDQ5240811
Publication date: 29 October 2019
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2019.42
Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) External book reviews (00A17)
This page was built for publication: N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57, College Publications, London, 2015, xx + 415 pp.
