Rank Logic Is Dead, Long Live Rank Logic!
Grädel, Erich (Corresponding author); Pakusa, Wied (Corresponding author)
Cambridge : Cambridge Univ. Press (2019)
Journal Article
In: The journal of symbolic logic
Volume: 84
Issue: 1
Page(s)/Article-Nr.: 54-87
Identifier
- DOI: 10.1017/jsl.2018.33
- RWTH PUBLICATIONS: RWTH-2019-02878