Metamathematical investigation of intuitionistic artithmetic and analysis/ A. S. Troelstra (editor).

Contributor(s):

Series: Lecture notes in mathematics (Springer-Verlag) ; 344.Publication details: Berlin: Springer-Verlag, 1973.Description: xvii, 485 p. ; 24 cmISBN:

Subject(s):

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	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Coleções de Monografias (Monographs Collections)		1	Available		39063000230691

Includes bibliographical references (p. [462]-475).

There are no comments on this title.

to post a comment.