IMSc Library catalog › Details for: Metamathematical investigation of intuitionistic arithmetic and analysis

Normal view MARC view ISBD view

Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.).

By: Troelstra, A. SMaterial type: Text

TextSeries: Lecture notes in mathematics (Springer-Verlag) ; 344.Publication details: Berlin, Heidelberg, New York, Springer, 1973Description: xvii, 486 p. illISBN: 0387064915Subject(s): Intuitionistic mathematics | Proof theory | Model 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		13568

Previous	No cover image available							Next
Previous	51 LNM Zeta functions of simple algebras	51 LNM Structures de Fredholm sur les variétés hilbertiennes.	51 LNM Séminaire de probabilités VI	51 LNM Metamathematical investigation of intuitionistic arithmetic and analysis	51 LNM La transformation de Fourier complexe et l'équation de convolution.	51 LNM Elliptic curves; notes from postgraduate lectures given in Lausanne 1971/72.	51 LNM Nonlinear problems in the physical sciences and biology;	Next

Bibliography: p. [462]-475.

There are no comments on this title.

to post a comment.