Proof theory - sequent calculi and related formalisms
- Författare
- Katalin Bimbo
- (Katalin Bimbó, University of Alberta Edmonton, Canada.)
- Genre
- Electronic books., Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| CRC Press | 2015 | USA, Boca Raton | 1 online resource text file, PDF | 978-1-4665-6468-8 |
| Chapman & Hall/CRC | 2014 | Utgivningsland okänt / Ej specificerat |