" The language of first-order logic" including the Macintosh program "Tarskiʹs world" - Jon Barwise and John Etchemendy reviewed/
| Main Author: | |
|---|---|
| Corporate Authors: | , |
| Other Authors: | |
| 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: |