Normal view MARC view ISBD view

Analysis and synthesis of logics how to cut and paste reasoning systems Carnielli, Walter ...[et al.]

By:

Material type: Text

TextPublication details: Springer 2008DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	Nalanda Library Circulation Books	511.3 T08 CAR.C (Browse shelf(Opens below))	Available		1749

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available			Next
Previous	511.3 T04 DEL Profile of mathematical logic	511.3 T05 FRA Godel's theorm : an incomplete guide to its uses and abuses	511.3 T06 FLU.G Parameterized complexity theory	511.3 T08 CAR.C Analysis and synthesis of logics how to cut and paste reasoning systems	511.3 T09 BER There's something about Godel : The complete guide to the incompleteness theorem	511.3 T10 CAU Logic, sets and recursion	511.3 T10 CAU Logic, sets and recursion	Next

There are no comments on this title.

to post a comment.