shd/logic2011 — Issue #1: Бага в lection2
Author: karlicoss
Created: 2012-01-13 20:27:47+00:00
State: open

В определении грамматики со схемами аксиом во втором правиле вместо «конъюнкция» должна быть «импликация»