chapter
25 Pages

Short Course on Logic, Algebra, and Topology

WithPiergiorgio Odifreddi

The next definition reviews the system of intuitionistic propositional logic in terms of the sequent calculus.