Wordt geladen...
Proof theory: sequent calculi and related formalisms
Hoofdauteur: | |
---|---|
Formaat: | Printed Book |
Taal: | English |
Gepubliceerd in: |
Boca Raton
CRC Press
2015
|
Onderwerpen: |
STA
Plaatsingsnummer: |
517.3 BIM |
---|---|
Kopie | Status is onbeschikbaar |