Classical Logic II B

Annotation

This is not a separate course, but a virtual variant of Classical Logic II A for double-major study.