Development Of Modern Logic C door L. Haaparanta