Modern deductive logic: An introduction to its techniques and significance

Введение в современную формальную логику. Исчисления высказываний и предикатов. Общие принципы построения математических и логических формальных систем. Связь математики и логики ;