Tarski's world 4.0 [Documento electrónico] : a program for use with the Language of first-order logic / Jon Barwise and John Etchemendy
Main Author Barwise, Jon, 1942-2000 Coauthor Etchemendy, John, 1952-, co-aut. Language Inglês. Edition Macintosh version Publication Stanford, California : CSLI , Center, 2005Description Disquete
| Item type | Library | Location | Form | Call number | Status | Direct Acess | Date due | Fund | Barcode |
|---|---|---|---|---|---|---|---|---|---|
| Non-book material | Biblioteca Mário Sottomayor Cardia | Reservados | Depo Requests | DK 4 | Available | Material não livro | CD243 |
É material acompanhante de CP 1093
There are no comments for this item.