Semantics for Classical AUTOMATH and Related Systems - Henk Barendregt; Adrian Rezus (Inf. Control., 1983)

Book Review: R. J. G. B. de Queiroz, A. G. de Oliveira, D. M. Gabbay, The Functional Interpretation of Logical Deduction. - Adrian Rezus (Stud Logica, 2015)

Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types. - Adrian Rezus (Stud Logica, 2015)

Jan von Plato, Saved from the Cellar. Gerhard Gentzen's Shorthand Notes on Logic and the Foundations of Mathematics - Springer International Publishing, 2017. Sources and Studies in the History of Mathematics and Physical Sciences, x + 315 pp., ISBN 978-3-319-42119-3 (hardback), EUR 109.99, GBP 82.00, ISBN 978-3-319-42120-9 (eBook), EUR 91, 62. - Adrian Rezus (Stud Logica, 2019)