Настоящая книга является популярным изложением математической логики, приобретающей все большее и больше развитие в связи с автоматизацией производственных процессов. В отличие от остальных книг о математической логике не требует для своего понимания знаний, превосходящих курс школьной математики.
Меню