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