Development Of Modern Logic C by L. Haaparanta