Description: " The language of first-order logic" including the Macintosh program "Tarskiʹs world" - Jon Barwise and John Etchemendy reviewed/

Main Author:	Goldson, D.
Corporate Authors:	University of London. Queen Mary and Westfield College., Department of Computer Science
Other Authors:	Reeves, S.
Format:	Book
Language:	English
Published:	London: University of London, 1991
Series:	Technical report / University of London. Queen Mary and Westfield College. Department of Computer Science ; 546
Subjects:	Computer science Computer programming

Physical Description:	9 p. : tabs ; 30 cm.
Bibliography:	Includes bibliographical references