Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Sequents and trees an introduction to the theory and applications of propositional sequent calculi

Sequents and Trees An Introduction to the Theory and Applications of Propositional Sequent Calculi

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Sequents and trees
ID: 2831965

Creatori:

(1221265) Indrzejczak, Andrzej 1964-

Espandi persona

...