Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 5 results. Subscribe to this search

|
The concept of logical consequence / John Etchemendy Monografia Publication Stanford : CSLI, cop. 1999 Description 174 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
The liar : an essay on truth and circularity / Jon Barwise, John Etchemendy Monografia Publication New York : Oxford University Press, 1989 Description XII, 194 p. ; 21 cm LocationBiblioteca Vitor Aguiar e Silva Availability Reference (1).

Add to cart
Turing's world 3.0=3.0 for the Macintosth : an introduction to computability theory / Jon Barwise, John Etchemendy Produtos Computador Publication Stanford : SCLI Publications, cop. 1993 Description X, 123 p. ; 23 cm + 1 disquete 3.5 LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Reference (1).

Place hold Add to cart
Language, proof and logic : text-software package / Jon Barwise, John Etchemendy ; colab. Gerard Allwein, Dave Barker-Plummer, Albert Liu Produtos Computador Publication Stanford, Calif. : CSLI Publications, cop. 2003 Description XI, 587 p. : il. ; 24 cm + 1 CD-Rom LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho Availability Available (34). Reference (1). Lost (1).

Place hold Add to cart
Language proof and logic / Jon Barwise, John Etchemendy ; colab. Gerard Allwein, Dave Barker-Plummer, Albert Liu Monografia Publication New York : Steven Bridges Press, cop. 2000 Description XI, 587 p. : il. ; 24 cm + 1 Cd-Rom LocationBiblioteca da UMinho no Campus de Azurém Availability Available (3).

Place hold Add to cart