Biblioteca do ISEL

Normal view MARC view ISBD view

An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews

Main Author: ANDREWS, Peter B.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ântica
    average rating: 0.0 (0 votes)
Item 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.

Log in to your account to post a comment.

Informática-ISEL