Tracking reason : proof, consequence, and truth Jody Azzouni

By:

Publication details: Oxford Oxford University Press c2006Description: vi, 248 p. ; 24 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.36 AZZ (Browse shelf(Opens below))	Available		267876

Previous			No cover image available					Next
Previous	511.352 NIE Computability and randomness	511.352 PER Computational complexity and statistical physics	511.352 ZIM Computational complexity : a quantitative perspective	511.36 AZZ Tracking reason : proof, consequence, and truth	511.36 BUR Extending the frontiers of mathematics : inquiries into proof and augmentation	511.36 C RO From sets and types to topology and analysis : towards practicable foundations for constructive mathematics	511.36 CHA Mathematical proofs : a transition to advanced mathematics	Next

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map