Normal view MARC view ISBD view

FORMAL SYSTEMS AND RECURSIVE FUNCTIONS : proceedings

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: Study in Logic and foundations of MathematicsPublication details: North-Holland 1965 AmsterdamDescription: 320pSubject(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)	160 ST9 V.32 (Browse shelf(Opens below))	Link to resource	Available		75800

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	160 ST9 V.29 EQUIVALENTS OF THE AXIOM OF CHOICE	160 ST9 V.30 INTRODUCTION TO MODEL THEORY AND TO THE METAMATHEMATICS OF ALGEBRA	160 ST9 V.30 INTRODUCTION TO MODEL THEORY AND TO THE METAMATHEMATICS OF ALGEBRA	160 ST9 V.32 FORMAL SYSTEMS AND RECURSIVE FUNCTIONS	160 St9 v.46 Contributions to mathematical logic	160 St9 v.61 Studies in logic and the foundation of mathematics [v.61]	160 ST9 V.8 ABSTRACT SET THEORY	Next

There are no comments on this title.

to post a comment.

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