Biblioteca da Universidade do Minho

Your cart is empty.

Refine your search

Your search returned 2 results. Subscribe to this search

|
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
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