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 functions
| Item 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 |
Includes bibliographical references and index.
There are no comments for this item.