Three Views of Logic / by Mathematics, Philosophy, and Computer Science
By: Loveland, Donald W.
Contributor(s): Hodel, Richard E. | Sterrett, S. G.
Material type:
BookPublisher: New Jersey Princeton University Press 2014Description: 322 25cm.ISBN: 9780691160443.Subject(s): Nonclassical mathematical logic | Proof theory | Computable functions | Maths-StatisticsDDC classification: 511.3
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library IIIT Vadodara | Central Library IIIT Vadodara | 512.8 LOV (Browse shelf) | Available | 001408 |
Total holds: 0
Browsing Central Library IIIT Vadodara Shelves Close shelf browser
| 512.74 SIN Fermat's last theorem | 512.75 BER Algebraic coding theory | 512.75 BER Algebraic coding theory | 512.8 LOV Three Views of Logic | 512.896 BEL Introduction to matrix analysis | 512.897 HOF Linear algebra | 512.897 HOF Linear algebra |
English
There are no comments for this item.