Three views of logic mathematics, philosophy, and computer science

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Loveland, Donald W. (Зохиогч), Hodel, Richard E. (Зохиогч), Sterrett, Susan G. (Зохиогч)
Формат:	Ном
Хэл сонгох:	англи
Хэвлэсэн:	Princeton, New Jersey Princeton University Press [2014]
Нөхцлүүд:	Proof theory. Computable functions. Nonclassical mathematical logic.
Онлайн хандалт:	Table of contents only