Logic of provability

By:

Material type: Text

TextLanguage: English Publication details: Cambridge CUP 1995Description: xxxvi,275pSubject(s):

DDC 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	ISI Library, Kolkata NBHM Collection	511.3 B724 (Browse shelf(Opens below))	Available		115920

Total holds: 0

Previous				No cover image available	No cover image available		No cover image available	Next
Previous	511.3 B561 Petri net algebra	511.3 B628 Modal logic	511.3 B628 Handbook of modal logic	511.3 B724 Logic of provability	511.3 B791 Computaional logic handbook	511.3 B843 Proofs and confirmations	511.3 B919 Finite automata, their algebras and grammars	Next

There are no comments on this title.

to post a comment.