Items where Author is "Verbrugge, Rineke"

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

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]

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