An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews
Main Author Andrews, Peter Bruce, 1937- Language Inglês. Edition 2nd ed. Publication Dordrecht : Kluwer Academic Publishers, cop. 2002Description xviii, 390 p. ; 25 cm Series Applied Logic Series ; 27 ISBN 1402007639 Subjects Lógica
Lógica simbólica
Lógica matemática
| Item type | Library | Location | Form | Call number | Status | Direct Acess | Date due | Fund | Barcode |
|---|---|---|---|---|---|---|---|---|---|
| Book | Biblioteca Vitorino Magalhães Godinho | Sala de Leitura | IFILNOVA REF 481/27 | Available | Fundo Geral | 2563IFILNOVA |
There are no comments for this item.