Logic for mathematics and computer science

Библиографические подробности
Главный автор:	Burris, Stanley
Формат:	‌
Язык:	English
Опубликовано:	Upper Saddle River, N.J. Prentice Hall c1998.
Предметы:	Logic, Symbolic and mathematical.