Описание: Proof, logic, and formalization /

Корично изображение

Електронна книга

Proof, logic, and formalization /

A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.

Други автори:	Detlefsen, Michael, 1948-
Формат:	Електронна книга
Език:	English
Публикувано:	London ; New York : Routledge, 1992.
Предмети:	Proof theory. Logic, Symbolic and mathematical. Preuve, Theorie de la. Logique symbolique et mathematique. Mathematiques > Philosophie. MATHEMATICS > Infinity. MATHEMATICS > Logic. Preuve, theorie de la. Mathematics Mathematical logic Electronic books.
Онлайн достъп:	http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=134981
Подобни документи:	Print version:: Proof, logic, and formalization.

Резюме:	A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.
Физически характеристики:	1 online resource (x, 241 pages) : illustrations
Библиография:	Includes bibliographical references and index.
ISBN:	0203980255 9780203980255