The language of first-order logic : including the Macintosh version of Tarski's world 4.0 / Jon Barwise and John Etchemendy
Main Author Barwise, Jon, 1942-2000 Coauthor Etchemendy, John, 1952-, co-aut. Language Inglês. Edition 3rd ed. rev. and expanded Publication Stanford, California : CSLI, Center for the Study of Language and Information, 2004Description XIV, 313, [9] p. ; 24 cm + 1 disquete Series CSLI lecture notes ; 23) ISBN 0937073997 Subjects Lógica de primeira ordem
Tarski's world (Programa de computador)
Linguagens de programação
Manuais
| Item type | Library | Location | Form | Call number | Status | Direct Acess | Date due | Fund | Barcode |
|---|---|---|---|---|---|---|---|---|---|
| Book | Biblioteca Mário Sottomayor Cardia | Depósitos | Depo Requests | CP 1093 | Available | Fundo Geral | 58041 |
Contém material acompanhante na cota DK 4
Contém referências bibliográficas e índice
There are no comments for this item.