Rank Logic Is Dead, Long Live Rank Logic!
Grädel, Erich (Corresponding author); Pakusa, Wied (Corresponding author)
Cambridge / Cambridge Univ. Press (2019) [Fachzeitschriftenartikel]
The journal of symbolic logic
Band: 84
Ausgabe: 1
Seite(n): 54-87
Identifikationsnummern
- DOI: 10.1017/jsl.2018.33
- REPORT NUMBER: RWTH-2019-02878