Mathematical introduction to logic H.B Enderton

By: Enderton, H.BMaterial type: Text

TextLanguage: English Publication details: USA Elsevier 2008 Edition: 2nd EdDescription: 1512pISBN: 9788131201916Subject(s): FIRST-ORDER LOGIC | NUMBER THEORY | RECURSIVE FUNCTIONDDC classification: 510.63

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
Contingency books	NISER LIBRARY	510.63 END-M (Browse shelf(Opens below))	Checked out to DEEPAK KUMAR DALAI (C128)	20/12/2028	C2628
Book	NISER LIBRARY	510.63 END-M (Browse shelf(Opens below))	Available		6613

Previous								Next
Previous	510.6 SUP-F First course in mathematical logic	510.63 CAU-L Logic, sets and recursion	510.63 CHA-M Modal logic	510.63 END-M Mathematical introduction to logic	510.63 HIR-R Relation algebras by games	510.63 MAR-F First order mathematical logic	510.63 SMU-L Logical labyrinths	Next

There are no comments on this title.

to post a comment.