First-order logic

First-order logic

Показать все версии (2)
Библиографические подробности
Главный автор: Smullyan, Raymond M.
Формат: ‌
Язык:English
Опубликовано: Berlin Springer-Verlag 1968.
Предметы:
First-order logic.
Logic, Symbolic and mathematical.