Logic for computer science foundations of automatic theorem proving

Библиографические подробности
Главный автор:	Gallier, Jean H.
Формат:	‌
Язык:	English
Опубликовано:	New York Harper & Row c1986.
Предметы:	Automatic theorem proving. Logic, Symbolic and mathematical.