Normal view MARC view ISBD view

Language, proof and logic : text-software package / Jon Barwise, John Etchemendy; colab. Gerard Allwein, Dave Barker-Plummer, Albert Liu

Main Author Barwise, Jon, 1942- Coauthor Etchemendy, John, 1952- Secondary Author Allwein, Gerard, 1956-
Barker-Plummer, Dave
Liu, Albert
Country Estados Unidos. Publication Stanford, Calif. : CSLI Publications, cop. 2003 Description XI, 587 p. : il. ; 24 cm + 1 CD-Rom ISBN 1-57586-374-X CDU 510.6
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Vol info Status Date due Barcode Item holds
Produtos Computador Biblioteca da UMinho no Campus de Azurém
BREG9 510.6 - B Available 349335
Monografia Biblioteca da UMinho no Campus de Azurém
BPG 510.6 - B Available 349336
Monografia Biblioteca da UMinho no Campus de Azurém
BREG8 510.6 - B MANUAL Available 349337
Monografia Biblioteca Geral da Universidade do Minho
BGUM 510.6 - B Available 351020
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 138085 Available 351021
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 138084 Available 351029
Monografia Biblioteca Geral da Universidade do Minho
BGUM 510.6 - B Available 351031
Monografia Biblioteca Geral da Universidade do Minho
BGUM 510.6 - B Available 351034
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 107415 Available 351035
Monografia Biblioteca Geral da Universidade do Minho
BGUM 510.6 - B Available 351036
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351038
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351039
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351040
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351041
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351042
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351043
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351044
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351045
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351046
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351047
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351048
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351049
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Perdido | Lost Indisponível | Not available 351050
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351051
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351052
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351053
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351054
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351055
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351056
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM3 510.6 - B Available 351057
Monografia Biblioteca Geral da Universidade do Minho
BGUM 510.6 - B MANUAL Não requisitável | Not for loan 351058
Monografia Biblioteca Geral da Universidade do Minho
BGUM 510.6 - B MANUAL Available 351059
Monografia Biblioteca Geral da Universidade do Minho
BGUM 510.6 - B MANUAL Available 351060
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 107424 MANUAL Available 351076
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 107423 MANUAL Available 351077
Produtos Computador Biblioteca Geral da Universidade do Minho
BGUM 510.6 - B Available 423092
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.

Click on an image to view it in the image viewer