Items where Author is "Verbrugge, Rineke"

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 Mar 28 00:30:47 2024 CET.