Three views of logic : mathematics, philosophy, and computer science /
by Loveland, Donald W; Hodel, Richard E [jt. aut.]; Sterrett, S. G [jt. aut.].
Material type: BookPublisher: New Jersey : Princeton University Press, 2014Description: xv, 322 p. : ill. ; 26 cm.ISBN: 9780691160443.Subject(s): Proof theory | Computable functionsItem type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Dhaka University Library General Stacks | Non Fiction | 511.3 LOT (Browse shelf) | 1 | Available | 497034 | |
Books | Dhaka University Library General Stacks | Non Fiction | 511.3 LOT (Browse shelf) | 2 | Available | 497035 |
Browsing Dhaka University Library Shelves , Shelving location: General Stacks , Collection code: Non Fiction Close shelf browser
No cover image available | ||||||||
511.3 HAM মানুষ কি করে গুনতে শিখল / | 511.3 HAM মানুষ কি করে গুনতে শিখল / | 511.3 LOT Three views of logic : | 511.3 LOT Three views of logic : | 511.3 PHW The week-end problems book / | 511.313 NOI Insight into fuzzy modeling / | 511.322 PRE Elements of discrete mathematics / |
Includes bibliographical references and index.
There are no comments for this item.