RICHARDSON DANIEL LOGIC LANGUAGE FORMALISM INFORMALISM - 1 - INTERNATIONAL THOMSON COMPUTER PRESS 1995 - 246 ISBN: 1850321272 Subjects--Topical Terms: COMPUTER SCIENCE COMPUTER LANGUAGE Dewey Class. No.: 004 (MCA) / RIC