An essay in classical modal logic (3 vols (1971)

by Krister Segerberg