A logical introduction to proof

By:

Material type: Text

TextLanguage: English Publication details: Springer 2012Edition: Description: xiv, 356pISBN:

Subject(s):

DDC classification:

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	Copy number	Status	Barcode
Books	Central Library	004.015113 CUN(LOG) (Browse shelf(Opens below))	1	Available	19284

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available					Next
Previous	004.015113 COO(COM) Computability theory	004.015113 COO(COM) Computability theory	004.015113 CRE(COM) Complexity classifications of Boolean constraint satisfaction problems	004.015113 CUN(LOG) A logical introduction to proof	004.015113 DOW(ALG) Algorithmic randomness and complexity	004.015113 FIT(FIR) First-order logic and automated theorem proving : second edition	004.015113 FLE(FOR) Formal models of computation: the ultimate limits of computing	Next

bill No. SAR/204/2012; dt 10-01-2013

There are no comments on this title.

to post a comment.