:
:
?
 
: 28.08.1998
:
:
: ,
: . - . - . , - . , , .

: , , , , , "calculus of equivalent statements", "Aussagenkalkul", " " " " .. , , " ", "", [] "Klassenkalkul", ""; .. ]. ] [.

: ООО "Ик-вст"
:
: -`,
: . -, . .