LOGICAL FRAMEWORKS

Contributor(s):

Material type: Text

TextLanguage: English Publication details: Cambridge Cambridge Univ. Pr. c1991Description: xii, 403pISBN:

Subject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	URL	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	COMPACT STORAGE (BASEMENT)	511.3 L829 (Browse shelf(Opens below))	Link to resource	Available		A114190

Total holds: 0

Previous	No cover image available		No cover image available					Next
Previous	511.3 L562d DEGREES OF UNSOLVABILITY	511.3 L565S S.LESNIEWSKIS, LECTURE NOTES IN LOGIC	511.3 L586u UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS	511.3 L829 LOGICAL FRAMEWORKS	511.3 L829 Logic Colloquium '84	511.3 L829H LOGIC	511.3 L829H LOGICAL ENVIRONMENTS	Next

Papers Presented At The First Annual Workshop, Held At Sophia-Antipolis, 1990

There are no comments on this title.

to post a comment.

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