3

We use cookies. Read the Privacy and Cookie Policy

3

Под исчислением высказываний в логике понимается система аксиом и выводимых из них теорем (импликаций).