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

[up] Up a level
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 Tue Dec 31 00:30:34 2024 CET.
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility