Logic for applications / - Nerode, Anil (Springer-Verlag, 1993)