A logical introduction to proof

By:

Material type: Text

TextPublication details: New York Springer 2012Description: xv, 356pISBN:

Subject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	General Stacks	511.36 C917l (Browse shelf(Opens below))	Available		A176866

Total holds: 0

Previous							No cover image available	Next
Previous	511.352 SH45C COMPUTABLE FUNCTIONS	511.352 SI75I2 INTRODUCTION TO THE THEORY OF COMPUTATION	511.352 W388c Computability theory	511.36 C917l A logical introduction to proof	511.36 G955h Handbook of mathematical induction	511.36 K824a Applied proof theory	511.37 H191 HANDBOOK OF MATHEMATICAL LOGIC	Next

There are no comments on this title.

to post a comment.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)