A tour through mathematical logic Robert S. Wolf

By:

Publication details: Washington, DC Mathematical Association of America c2005Description: xv, 397 p. : ill. ; 22 cmISBN:

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.3 WOL (Browse shelf(Opens below))	Available		105089

Previous			No cover image available	No cover image available				Next
Previous	511.3 WEN Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving	511.3 WIC How to solve mathematical problems	511.3 WOL Proof, logic, and conjecture : the mathematician's toolbox	511.3 WOL A tour through mathematical logic	511.3 WOO Paradox and paraconsistency : conflict resolution in the abstract sciences	511.3 WOO Paradox and paraconsistency : conflict resolution in the abstract sciences	511.3 WU, The Beauty Of Mathematics In Computer Science	Next

Includes bibliographical references (p. 375-379) and index

There are no comments on this title.

to post a comment.

Find us on the map