The following pages link to Adrian Rezuş (Q897486):
Displaying 10 items.
- Book review of: H. Barendregt et al., Lambda calculus with types (Q897487) (← links)
- Book review of: J. von Plato, Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and the foundations of mathematics (Q2001370) (← links)
- Book review of: R. J. G. B. de Queiroz et al., The functional interpretation of logical deduction (Q2352462) (← links)
- Semantics for classical AUTOMATH and related systems (Q3678692) (← links)
- (Q3768897) (← links)
- (Q3937368) (← links)
- (Q3955333) (← links)
- (Q3960658) (← links)
- (Q4744242) (← links)
- (Q5119552) (← links)
