PROOF THEORY AND AUTOMATES DEDUCTION

By:

Contributor(s):

Material type: Text

TextSeries: Applied Logic Series ; Publication details: Kluwer Academic Publishers, Dordrecht 1997Description: xv,424ISBN:

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.3 G72P (Browse shelf(Opens below))	Available		A127634

Total holds: 0

Previous		No cover image available	No cover image available		No cover image available			Next
Previous	511.3 F564P PROOF METHODS FOR MODAL AND INTUITIONISTIC LOGICS	511.3 F989 FUZZY AUTOMATA AND DECISION PROCESSES	511.3 G431aE ALGEBRAIC LOGIC	511.3 G72P PROOF THEORY AND AUTOMATES DEDUCTION	511.3 H191 HANDBOOK OF MATHEMATICAL LOGIC	511.3 H191a Handbook of spatial logics	511.3 H191G HANDBOOK OF THE LOGIC OF ARGUMENT AND INFERENCE	Next

There are no comments on this title.

to post a comment.

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