Propositional and Predicate Calculus A Model of Argument [electronic resource] / by Derek Goldrei.
Material type:
Item type | Current location | Call number | URL | Copy number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Biblioteca Digital
Responsable: Alejandra Vargas Mejía
|
QA9.3 G65 2005 (Browse shelf) | Link to resource | 1 | Available | Springer Link | BDIG00006263 |
Browsing Biblioteca Digital shelves Close shelf browser
QA8.6 .A13 2006 18 Unconventional Essays on the Nature of Mathematics | QA9 A44 2006 Raisonnements divins | QA9 M38 2007 Mathematical Problems from Applied Logic II | QA9.3 G65 2005 Propositional and Predicate Calculus A Model of Argument | QA9.54 .P64 2005 Adapting Proofs-as-Programs | QA9.56 E39 2005 Essays in Constructive Mathematics | QA9.59 N49 2008 New Computational Paradigms |
There are no comments on this title.