Á lódáil...
Proof theory: sequent calculi and related formalisms
Príomhúdar: | |
---|---|
Formáid: | Printed Book |
Teanga: | English |
Foilsithe: |
Boca Raton
CRC Press
2015
|
Ábhair: |
STA
Gairmuimhir: |
517.3 BIM |
---|---|
Cóip | Live Status Unavailable |