Adrian Rezus

Publication Activity (10 Years)

Years Active: 1983-2019
Publications (10 Years): 1

Top Topics

Logical Reasoning

Lambda Calculus

Physical Sciences

Top Venues

Publications

Adrian Rezus
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. Stud Logica 107 (3) (2019)
Adrian Rezus
Book Review: R. J. G. B. de Queiroz, A. G. de Oliveira, D. M. Gabbay, The Functional Interpretation of Logical Deduction. Stud Logica 103 (2) (2015)
Adrian Rezus
Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types. Stud Logica 103 (6) (2015)
Henk Barendregt, Adrian Rezus
Semantics for Classical AUTOMATH and Related Systems Inf. Control. 59 (1-3) (1983)