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
Browsing Biblioteca do ISEL Shelves , Shelving location: Biblioteca do ISEL Close shelf browser
AND. 004.91 Presenting windows workflow foundation | AND. 330 Business economics and finance with MATLAB, GIS, and simulation models | AND. 340.134 A revogação dos actos administrativos | AND. 51 An introduction to mathematical logic and type theory | AND. 517.5 Special functions | AND. 519.6 Mathematical modelling | AND. 53 The physics of sailing |
There are no comments for this item.