Logic and structure / - Dalen, D. van (Springer-Verlag,, 1994)