Biblioteca da Faculdade de Ciências Sociais e Humanas da Universidade NOVA de Lisboa

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
No cover image available
Tarski's world 4.0 : a program for use with the Language of first-order logic [Documento electrónico] / Jon Barwise and John Etchemendy Non-book material Publication Stanford, California : CSLI , Center, 2005
 Description Disquete LocationBiblioteca Mário Sottomayor Cardia Availability Available (1).

Place hold Add to cart
The language of first-order logic : including the Macintosh version of Tarski's world 4.0 / Jon Barwise and John Etchemendy Book Publication Stanford, California : CSLI, Center for the Study of Language and Information, 2004
 Description XIV, 313, [9] p. ; 24 cm + 1 disquete LocationBiblioteca Mário Sottomayor Cardia Availability Available (1).

Place hold Add to cart