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

		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). 1 2 3 4 5 Place hold Add to cart (remove)
		Generalized quantifiers : linguistic and logical approaches / edited by Peter Gãrdenfors Book Publication Dordrecht : D. Reidel Publishing Company, cop. 1987 Description vii, 307 p. ; 23 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Handbook of mathematical logic / ed. Jon Barwise Book Publication Amsterdam : Norh Holland, 1978 Description 1165 p LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		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). 1 2 3 4 5 Place hold Add to cart (remove)

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