An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
Edition Statement: 2nd edPublication: Dordrecht : Kluwer Academic Publishers, 2002Description: XVIII, 390 p. : il. ; 25 cmISBN: 1-4020-0763-9.Series: Applied Logic Series, 27Subject - Topical Name: Matemática | Estrutura axiomática | Sintaxe | SemânticaItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL | AND. 51 (Browse shelf) | Available | 1014668 |
Total holds: 0
There are no comments for this item.