A logical introduction to proof

By:

Material type: Text

TextPublication details: New York Springer 2012Description: xiv, 356p,: ill: 24cmISBN:

Subject(s):

LOC 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	Collection	Call number	Status	Date due	Barcode
Books	College of Sciences Library Shelf 1B	Computer Science	QA9.C86 2012 (Browse shelf(Opens below))	Available		24-212723

Previous								Next
Previous	OA76.73.J38.L52 2011 Comprehensive version \| Introduction to java programming	Q180.A1.J67 2015 Opening a scientific millenivum	Q335.M57 2011 Artificial intelligence	QA9.C86 2012 A logical introduction to proof	QA26.4.L48 1983 A statilib primer \| Forecasting process through statistical computing	QA39.3.C63 2005 Precalculus: a problems-oriented approach	QA39.3.G47 2003 Mathematical structures for computer science /	Next

Includes index

There are no comments on this title.

to post a comment.