Items where Author is "Verbrugge, Rineke"

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

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

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]