How to prove it : a structured approach / Daniel J. Velleman
Language: eng.Country: US - United States of America.Publication: Cambridge : Cambridge University Press, cop. 1994Description: IX, 309 p. : il. ; 24 cmISBN: 0-521-44116-1.Subject - Topical Name: Lógica matemática| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca NOVA FCT Sala azul/Piso 2 | Não Ficção | QA9.54.VEL FCT 31135 (Browse shelf(Opens below)) | 1 | Available | 0016615 |
Browsing Biblioteca NOVA FCT shelves, Shelving location: Sala azul/Piso 2, Collection: Não Ficção Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| QA8.4.MAT FCT 85698 Mater, matemática do planeta Terra, retrospectiva de uma exposição | QA8.4.POU FCT 69252 Pourquoi la mathématique? | QA9.54.LEG FCT 99511 The legacy of Kurt Schutte | QA9.54.VEL FCT 31135 How to prove it, a structured approach | QA9.59.CON FCT 74143 Programs, proofs, processes, abstract and handout booklet of the 6th Conference on Computability in Europe, CiE 2010 Ponta Delgada, Azores, Portugal, June/July 2010 | QA9.59.ROB FCT 83256 Thinking recursively | QA10.3.BLY FCT 34569 Ockham algebras |
Desaparecido
There are no comments on this title.
Log in to your account to post a comment.
