ConceptIntroduction ruleModified just nowProperties 4Hide BooksChapter 2. EvaluationChapter 5. Types JourneyProgramming Language Theory Statusreviewing TagslogicExample:ABA∧B∧I\frac{A \quad B}{A \land B} \land I A∧BAB∧I Previous in ConceptsIntro patternNext in Concepts Intuitionistic constructive logic