Techniques of deductive inference

Библиографические подробности
Главный автор:	Leblanc, Hugues 1924-
Формат:	‌
Язык:	английский
Опубликовано:	Englewood Cliffs, N.J. Prentice-Hall [c1966]
Предметы:	Logic, Symbolic and mathematical.