Practical foundations of mathematics

By:

Taylor, Paul

Material type: Book

BookSeries: Cambridge studies in advanced mathematics ; 59Publication details: Cambridge: Cambridge University Press, 1999.Description: xi, 572 p. ; hb. 24 cmISBN:

9780521631075

Subject(s):

DDC classification:

510 TAY

Summary: This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what it means to prove correctness of programmes). It deliberately transcends disciplinary boundaries and challenges many established attitudes to the foundations of mathematics.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	IIT Gandhinagar General Stacks	General	510 TAY (Browse shelf(Opens below))	1	Available		030148

Includes bibliographical references (p. [530]-552) and index.

This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what it means to prove correctness of programmes). It deliberately transcends disciplinary boundaries and challenges many established attitudes to the foundations of mathematics.

There are no comments on this title.

to post a comment.