Normal view MARC view ISBD view

Proof and knowledge in mathematics [electronic resource] / edited by Michael Detlefsen.

Publisher: London ; New York : Routledge, 1992Description: x, 256 p. ; 23 cm.Subject(s): Mathematics -- Philosophy

Item type	Current location	Call number	Status	Date due	Barcode
		511.3 (Browse shelf)	Available

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	511.3 Proof technology and computation	511.3 Algebraic theory of automata and languages	511.3 Proof, logic, and formalization	511.3 Proof and knowledge in mathematics	511.3 Gödel's incompleteness theorems	511.3 Mathematical logic in the 20th century	511.3 Logic for concurrency and synchronisation	Next

Includes bibliographical references and index.

TSLHHL

Electronic reproduction. Palo Alto, Calif. : ebrary, 2005. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

Taylor's Library