Dettaglio del documento
Trova il documento in altre risorse
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
Indrzejczak, Andrzej
eBook
Birkhäuser <editore>
2021
VAN08@Biblioteca del Dipartimento di Matematica e Fisica
Documento per sola consultazione interna
Inventario |
eMF 8099 |
Collocazione
CONS e-book 8099
https://unina2.on-line.it/opac/resource/VAN00274475