MORDECHAI BEN ARI MATHEMATICAL LOGIC FOR COMPUTER SCIENCE - 2 - SPRINGER INC 2000 - 304 ISBN: 1852333197 Subjects--Topical Terms: MATHEMATICS GENERAL Dewey Class. No.: 511.3 / MOR