Proof theory / Gaisi Takeuti

By:

Material type: Text

TextLanguage: English Series: Studies in logic and the foundations of mathematics ; v. 81Publication details: Amsterdam : North-Holland, 1975Description: vii, 372 p. ; 23 cmISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Materials specified	Status	Date due	Barcode	Item holds
Books	National Library of India New English - Main Stack Division	New English	E517.0108 T139 (Browse shelf(Opens below))		Available		PUR000430704ENG

Total holds: 0

Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968

Includes index

There are no comments on this title.

to post a comment.