Applied symbolic logic - Lynch, Edward p (New york John wiley, 1980)
Keywords: chemical engeering mathematics