Laddar...
Proof theory sequent calculi and related formalisms
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Printed Book |
| Språk: | English |
| Publicerad: |
Boca Raton
CRC press
2015
|
| Serie: | Discrete mathematics and its applications
|
| Ämnen: |
| Fysisk beskrivning: | x, 376p. |
|---|---|
| ISBN: | 9781466564664 |