Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

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

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Lupacchini, Rossella
Байгууллагын зохиогч:	SpringerLink (Online service)
Бусад зохиолчид:	Corsi, Giovanna
Формат:	Цахим Цахим ном
Хэл сонгох:	англи
Хэвлэсэн:	Milano : Springer Milan, 2008.
Нөхцлүүд:	Philosophy (General). Logic. Philosophy of nature. Information theory. Logic, Symbolic and mathematical. Mathematical physics. Philosophy. Philosophy of Nature. Theory of Computation. Mathematical Logic and Foundations. Mathematical and Computational Physics.
Онлайн хандалт:	http://dx.doi.org/10.1007/978-88-470-0784-0
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Интернэт