Items where Author is "Verbrugge, Rineke"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Report | Thesis
Number of items: 5.

Report

PP-2010-07: de Jongh, Dick and Verbrugge, Rineke and Visser, Albert (2010) Intermediate Logics and the de Jongh Property. [Report]

ML-1991-11: Verbrugge, Rineke (1991) Feasible Interpretability. [Report]

ML-1991-02: Berarducci, Alessandro and Verbrugge, Rineke (1991) On the Metamathematics of Weak Theories. [Report]

ML-1989-05: Verbrugge, Rineke (1989) $\Sigma$-Completeness and Bounded Arithmetic. [Report]

Thesis

DS-1993-03: Verbrugge, Rineke (1993) Efficient Metamathematics. Doctoral thesis, University of Amsterdam.

This list was generated on Thu Nov 21 00:30:35 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