Languages
Indrzejczak, Andrzej.
Overview
Works: | 53 works in 1 publications in 1 languages |
---|
Titles
Sequents and treesan introduction to the theory and applications of propositional sequent calculi /
by:
Indrzejczak, Andrzej.; SpringerLink (Online service)
(Electronic resources)
Natural deduction, hybrid systems and modal logics
by:
Indrzejczak, Andrzej.; SpringerLink (Online service)
(Electronic resources)