Logical Introduction to Proof Daniel W Cunningham

By:

Material type: Text

TextPublication details: New York Springer 2013Description: xiv,356pISBN:

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	Call number	Status	Date due	Barcode
Books	Library and Documentation Division	511.3 C917L (Browse shelf(Opens below))	Available		097426

Previous		No cover image available	No cover image available				No cover image available	Next
Previous	511.3 C448M Mathematical Logic	511.3 C718 Complexity and real computation	511.3 C884W What is mathematical logic ? /	511.3 C917L Logical Introduction to Proof	511.3 D343T The essance of discrete mathematics	511.3 E108 E-recursion, forcing and c*-algebras	511.3 Eb17 M Mathmetical logic	Next

There are no comments on this title.

to post a comment.