Modal Fragments of Second-Order Logic

Tampereen yliopisto. Informaatiotieteiden yksikkö. Matematiikka. Tampere University Press. Acta Universitatis Tamperensis: 1657. ISBN: 978-951-44-8573-2 (nid.). Acta Electronica Universitatis Tamperensis: 1119. ISBN: 978-951-44-8574-9 (PDF). Verkkojulkaisu: http://urn.fi/urn:isbn:978-951-44-8574-9