IMSc Library catalog › Details for: Proof theory and intuitionistic systems.

Normal view MARC view ISBD view

Proof theory and intuitionistic systems.

By: Scarpellini, BrunoMaterial type: Text

TextSeries: Lecture notes in mathematics (Springer-Verlag) ; 212.Publication details: Berlin, New York, Springer-Verlag, 1971Description: vii, 290, [1] pISBN: 354005541XSubject(s): Intuitionistic mathematics | Proof theory | Mathematics

Item type:

BOOKS

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

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	51 LNM (Browse shelf (Opens below))		Available		11160

Previous			No cover image available					Next
Previous	51 LNM Siegel's modular forms and dirichlet series. Course given at the University of Maryland, 1969-1970.	51 LNM The concordance-homotopy groups of geometric automorphism groups	51 LNM Ergodic theory, entropy.	51 LNM Proof theory and intuitionistic systems.	51 LNM Projective varieties and modular forms.	51 LNM Proceedings of Liverpool Singularities Symposium II	51 LNM The tame fundamental group of a formal neighbourhood of a divisor with normal crossings on a scheme	Next

Bibliography: p. [291]

There are no comments on this title.

to post a comment.