Three views of logic : mathematics, philosophy, and computer science
By: Loveland, Donald W.
Contributor(s): Hodel, Richard E | Sterrett, S. G.
Material type:
BookPublisher: Princeton: Princeton University Press, 2014Description: xv, 322 p.; ill.: 25 cm.ISBN: 9780691160443 .Subject(s): Logic, Symbolic and mathematical | Computable functions | Mathematics -- Philosophy | Nonclassical mathematical logic | Proof theoryDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 LOV (Browse shelf) | Available | 029416 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 LIU Elements of discrete mathematics | 511.3 LIU Elements of discrete mathematics | 511.3 LIU Elements of discrete mathematics | 511.3 LOV Three views of logic : mathematics, philosophy, and computer science | 511.3 MAC Set theory, logic and their limitations | 511.3 MAD Mathematical thinking and writing | 511.3 MAO To infinity and beyond : a cultural history of the infinite |
There are no comments for this item.