Andrzej Indrzejczak Forfatter
-
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Bog, Hardback, Engelsk)
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Levering: 6 - 9 hverdage -
Natural Deduction, Hybrid Systems and Modal Logics (Bog, Hardback, Engelsk)
The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.
Levering: Skaffevare (forvent 14 - 30 hverdage)
