Kleene
Sections
ClassicalProps(jlc)
Doc
Def
p
q == case p: 3
3
; 3
case q: 3
3
; 3
3
; 3
3
;; 3
q;
is not mentioned in this or prior sections.
Try larger context:
ClassicalProps(jlc)
Kleene
Sections
ClassicalProps(jlc)
Doc
q == case p: 3
3
; 3
case q: 3 3; 3 3; 3 3;; 3 q;