Normal view MARC view ISBD view

RECURSIVE FUNCTION THEORY AND LOGIC

By:

Material type: Text

TextPublication details: N. Y. Academic Press 1971Description: 338Subject(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 Ya1 (Browse shelf(Opens below))	Link to resource	Available		A31192

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 W17M A MANY-SORTED CALCULUS BASED ON RESOLUTION AND PARAMODULATION	511.3 W465C COMPLEXITY	511.3 W891E WORD PROCESSING IN GROUPS	511.3 Ya1 RECURSIVE FUNCTION THEORY AND LOGIC	511.3 Z66oE FOUNDATIONS OF THE LOGICAL THEORY OF SCIENTIFIC KNOWLEDGE (COMPLEX LOGIC)	511.302854 C698m MATHEMATICAL LOGIC IN COMPUTER SCIENCE	511.303 G854d DICTIONARY OG LOGICAL TERMS AND SYMBOLS	Next

Ref. : P. 321-326

There are no comments on this title.

to post a comment.

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