Proof theory : sequent calculi and related formalisms / Katalin Bimbo, University of Alberta Edmonton, Canada
- Författare
- Katalin Bimbo
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat |