Adrian Rezus

According to our database1, Adrian Rezus authored at least 4 papers between 1983 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
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, 2019

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

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

1983
Semantics for Classical AUTOMATH and Related Systems
Inf. Control., 1983


  Loading...