Lataa...
Proof theory: sequent calculi and related formalisms
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Printed Book |
| Kieli: | English |
| Julkaistu: |
Boca Raton
CRC Press
2015
|
| Aiheet: |
STA
| Hyllypaikka: |
517.3 BIM |
|---|---|
| Nide | Reaaliaikaista tietoa ei saatavissa |