Introduction to logical theory. - Starwson P F (Bombay B I Publications, 1976)