Предварительный заказ!
1973. 400 с. Букинист. Состояние: 4.
В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. (Подробнее) |