Van redenering tot formele struktuur: enige hoofdstukken uit de logika. - de Jong, W. R. (1981)