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

By: Troelstra, A. SMaterial type: TextTextSeries: 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

Bibliography: p. [462]-475.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha