The little prover /

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Friedman, Daniel P. (Зохиогч), Eastlund, Carl (Зохиогч)
Бусад зохиолчид:	Bibby, Duane (Зурагч), Moore, J. Strother (Танилцуулгын зохиогч гэх мэт.), Felleisen, Matthias (Дараах үг, колофон гэх мэт зохиогч.)
Формат:	Цахим Цахим ном
Хэл сонгох:	англи
Хэвлэсэн:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Нөхцлүүд:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Онлайн хандалт:	An electronic book accessible through the World Wide Web; click to view
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Интернэт