Proof theory : sequent calculi and related formalisms / Katalin Bimbo.
By: Salih, Al-Tayyib [author.].
Series: Publisher: Boca Raton, FL : CRC Press, [2015]Description: (376 pages) : illustrations.Content type: text ISBN: 9781466564664.Other title: Sequent calculi and related formalisms.Subject(s): Proof theoryGenre/Form: Print books.| Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|
| On Shelf | QA9.54 .B55 2015 (Browse shelf) | Available | AU0000000006429 |
Total holds: 0
Browsing Alfaisal University Shelves , Shelving location: On Shelf Close shelf browser
|
|
|
|
|
|
|
||
| Q387 .D66 2015 The master algorithm : how the quest for the ultimate learning machine will remake our world / | QA8.4 .L56 2017 Philosophy of mathematics / | QA9.5 .B56 2012 Combinatory logic pure, applied and typed / | QA9.54 .B55 2015 Proof theory : sequent calculi and related formalisms / | QA9.58 .B43 2016 Grokking algorithms : an illustrated guide for programmers and other curious people / | QA11.2 .F365 2014 Mathematics Higher Level for the IB Diploma | QA11.2 .F365 2016 Mathematics higher level for the IB diploma / solutions manual |