Logical theory and semantic analysis

by Stig Kanger, Sören Stenlund, Ann-Mari Henschen-Dahlquist, L. Lindahl, L.Y Nordenfelt, Jan Odelstad