An introduction to the nature of proof / J.J. Del Grande, J.C. Egsgard, H.A. Mulligan ; [edited by] A.J. Coleman.
By: Del Grande, J. J.
Contributor(s): Egsgard, J. C | Mulligan, H. A | Coleman, A. J.
Material type: BookPublisher: Toronto : Gage, c1967Description: viii, 59 p. : ill.Subject(s): Proof theory | Logic, Symbolic and mathematicalItem type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Books | Matheson Library | Matheson Library | Main Collection | Main Collection | 511.3 D331 (Browse shelf) | Available | 069100 |
Browsing Matheson Library Shelves , Shelving location: Main Collection , Collection code: Main Collection Close shelf browser
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | |||
511.3 B766 Theory of sets / | 511.3 B942c The computer modelling of mathematical reasoning | 511.3 C967 Mathematics and logic for digital devices / | 511.3 D331 An introduction to the nature of proof / | 511.3 F533f Formal number theory and computability | 511.3 F799f 1973 Foundations of set theory / | 511.3 F889 The language of logic / |
There are no comments for this item.