Image from Amazon.com
Proof theory : sequent calculi and related formalisms / Katalin Bimbo.
Series: Publisher: Boca Raton, FL : CRC Press, [2015]Description: (376 pages) : illustrationsContent type:- text
- 9781466564664
- Sequent calculi and related formalisms
- QA9.54 .B55 2015
BOOKS
| Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
| Alfaisal University On Shelf | Alfaisal University On Shelf | QA9.54 .B55 2015 (Browse shelf(Opens below)) | Available | AU0000000006429 |
Total holds: 0
Browsing Alfaisal University shelves, Shelving location: On Shelf Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| Q387 .D66 2015 The master algorithm : | QA8.4 .L56 2017 Philosophy of mathematics / | QA9.5 .B56 2012 Combinatory logic | QA9.54 .B55 2015 Proof theory : | QA9.58 .B43 2016 Grokking algorithms : | QA9.58 .B56 2022 Language and the rise of the algorithm / | QA11.2 .F365 2014 Mathematics Higher Level for the IB Diploma |