Dualities for structures of applied logicsEwa Orlowska, Anna Maria Radzikowska, Ingrid Rewitzky, Ingrid M. Rewitzky · First published 2015Open the Tome
Proof-theoretic semanticsNissim Francez, Anna Maria Radzikowska, Ingrid M. Rewitzky · First published 2015Open the Tome