Plural logic / Alex Oliver and Timothy Smiley
Call number: 511.3 O46P 2016 Material type:
BookPublisher: Oxford : Oxford University Press, 2016Edition: 2nd edDescription: xiv, 383 p. ; 24 cmISBN: 9780198744382 :Subject(s): Logic | Grammar, Comparative and genera -- Number | Logic, Symbolic and mathematicalDDC classification: 511.3 O46P 2016
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
General Books
|
สำนักวิทยบริการ (Center) ชั้น 7 หนังสือทั่วไปภาษาอังกฤษ 000-900 | 511.3 O46P 2016 (Browse shelf(Opens below)) | 1 | Available | 3000018093 |
Browsing สำนักวิทยบริการ (Center) shelves, Shelving location: ชั้น 7 หนังสือทั่วไปภาษาอังกฤษ 000-900 Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 K95F 1992 Foundations of abstract mathematics / | 511.3 L837M 2022 The meaning of proofs : mathematics as storytelling / | 511.3 M689 2008 Model theory with applications to algebra and analysis / | 511.3 O46P 2016 Plural logic / | 511.3 S382F 2010 Fundamentals of mathematics : | 511.3 V439 2019 How to prove it : a structured approach / | 511.322 F939L 2003 Logic, induction and sets / |
There are no comments on this title.