12857 викторин, 2175 кроссвордов, 936 пазлов, 93 курса и многое другое...

Как называется раздел математики, изучающий высказывания с точки зрения их логических значений?