Items where Author is "de Lavalette, Gerard R. Renardel"

Group by: Item Type | No Grouping
Jump to: Report | Thesis
Number of items: 4.

Report

PP-2010-20: de Lavalette, Gerard R. Renardel and Hendriks, Lex and de Jongh, Dick (2010) Intuitionistic implication without disjunction. [Report]

CT-1990-02: van Denneheuvel, Sieger and de Lavalette, Gerard R. Renardel (1990) A Normal Form for PCSJ Expressions. [Report]

CT-1988-04: de Jongh, Dick and Hendriks, Lex and de Lavalette, Gerard R. Renardel (1988) Computations in Fragments of Intuitionistic Propositional Logic. [Report]

Thesis

HDS-21: de Lavalette, Gerard R. Renardel (2017) Theories with type-free application and extended bar induction. Doctoral thesis, University of Amsterdam.

This list was generated on Mon Jan 17 00:30:19 2022 CET.