| : | 28.08.1998 |
| : | |
| : | |
| : | , |
| : | . - . - . , - . , , .
: , , , , , "calculus of equivalent statements", "Aussagenkalkul", " " " " .. , , " ", "", [] "Klassenkalkul", ""; .. ]. ] [. |
| : | |
| : | |
| : | -`, |
| : | . -, . . |
| 18+
|
|
. , , , , . |