Modern deductive logic: An introduction to its techniques and significance
Введение в современную формальную логику. Исчисления высказываний и предикатов. Общие принципы построения математических и логических формальных систем. Связь математики и логики ;
| Место издания | London [a.o.] |
|---|---|
| Издательство | Macmillan |
| Дата издания | 1970 |
| Язык | Английский |
| Тематика | Философия |
| Предметная рубрика | Философия • Логика Логистика |
| Источник | Основной фонд |
Доступность
?
Зеленым цветом отмечены экземпляры доступные для заказа, красным — временно недоступные.
Взять на дом
Электронное издание
Читать в библиотеке
| автор | Ackermann,Robert John |
|---|---|
| Место издания | London [a.o.] |
| Издательство | Macmillan |
| Дата издания | 1970 |
| Язык | Английский |
| Объём | VIII, 261 p. |
| Иллюстрации | ill. |
| Аннотация | Введение в современную формальную логику. Исчисления высказываний и предикатов. Общие принципы построения математических и логических формальных систем. Связь математики и логики ; |
| Примечания | Указатель с.257-261 ; |
| Тематика | Философия |
| Предметная рубрика | Философия • Логика , Логистика |
| Источник | Основной фонд |
| Носитель | Бумажное издание |
Сервис
Заказать оцифровку книги