Indrzejczak, Andrzej.
Overview
Works: | 0 works in 0 publications in 0 languages |
---|
Titles
Sequents and Trees = An Introduction to the Theory and Applications of Propositional Sequent Calculi /
by:
Indrzejczak, Andrzej.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]