Lanean...
Proof theory: sequent calculi and related formalisms
| Egile nagusia: | |
|---|---|
| Formatua: | Printed Book |
| Hizkuntza: | English |
| Argitaratua: |
Boca Raton
CRC Press
2015
|
| Gaiak: |
STA
| Sailkapena: |
517.3 BIM |
|---|---|
| Alea | Egoera zuzenean ez dago erabilgarri |