Normal view MARC view ISBD view

THE FOUNDATIONS OF INTUITIONISTIC MATHEMATICS : ESPECIALLY IN RELATION TO RECURSIVE FUNCTIONS

By:

Contributor(s):

Material type: Text

TextPublication details: North-Holland Publishing Company 1965DDC 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 (Browse shelf(Opens below))	Link to resource	Available		32879

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 Sets, models and recursion theory	160 ST9 ANCIENT FORMAL LOGIC	160 St9 A deductive theory of space and time	160 ST9 THE FOUNDATIONS OF INTUITIONISTIC MATHEMATICS	160 ST9 OUTLINES OF A FORMALIST PHILOSOPHY OF MATHEMATICS	160 ST9 RECURSIVE ANALYSIS	160 ST9 CONSTRUCTIVITY IN MATHEMATICS	Next

There are no comments on this title.

to post a comment.

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