Caricamento...
Proof theory: sequent calculi and related formalisms
Autore principale: | |
---|---|
Natura: | Printed Book |
Lingua: | English |
Pubblicazione: |
Boca Raton
CRC Press
2015
|
Soggetti: |
STA
Collocazione: |
517.3 BIM |
---|---|
Copia | Status in tempo reale non disponibile |