quot;
Исчисление понятий&
quot; и другие его работы, положившие начало современной логической семантике.
Книга рекомендуется студентам и аспирантам в качестве пособия по математической логике, преподавателям математических факультетов, а также всем желающим самостоятельно изучать математическую логику.