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