Extensional Godel functional intepretation: A consistency of proof of classical analysis

By:

Contributor(s):

Publication details: Berlin Springer-Verlag 1973Edition: Description: vi,161pISBN:

ISSN:

Subject(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
Books	University Library	517.5 LUC (Browse shelf(Opens below))	Available		00005907

There are no comments on this title.

to post a comment.