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