Book review of: R. J. G. B. de Queiroz et al., The functional interpretation of logical deduction

DOI10.1007/S11225-015-9612-5zbMath1316.00016OpenAlexW1967997506MaRDI QIDQ2352462

Adrian Rezuş

Publication date: 2 July 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-015-9612-5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Functionals in proof theory (03F10) Proof theory in general (including proof-theoretic semantics) (03F03) External book reviews (00A17)

This page was built for publication: Book review of: R. J. G. B. de Queiroz et al., The functional interpretation of logical deduction