Cover Image

" 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
LEADER 00980nam a2200229 a 4500
001 1183115
005 20171111232554.0
008 080613s1991 enk er 000 0 eng d
040 |a GrAtEKP.pliroforiki  |b gre  |e AACR2 
082 0 |2 22  |a 004 
100 1 |a Goldson, D. 
245 1 0 |a " The language of first-order logic" including the Macintosh program "Tarskiʹs world" - Jon Barwise and John Etchemendy reviewed/  |c D. Goldson and S. Reeves 
260 |a London:  |b University of London,  |c 1991 
300 |a 9 p. :  |b tabs ;  |c 30 cm. 
490 0 |a Technical report / University of London. Queen Mary and Westfield College. Department of Computer Science ;  |v 546 
504 |a Includes bibliographical references 
650 0 |a Computer science 
650 0 |a Computer programming 
700 1 |a Reeves, S. 
710 0 |a University of London.  |b Queen Mary and Westfield College. 
710 0 |b Department of Computer Science 
952 |a GrAtEKP  |b 59ccf02c6c5ad134460ca5ff  |c 998a  |d 945l  |e 004 TRUL 546  |t 1  |x m  |z Books 

Similar Items