Open crnkjck opened 2 years ago
Extrahovať Henkinovu–Hintikkovu hru z prieskumníka a použiť ju vo formalizátore na prevedenie študentov kontrapríkladmi.
Extrahovať Henkinovu–Hintikkovu hru z prieskumníka a použiť ju vo formalizátore na prevedenie študentov kontrapríkladmi.