Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen.

Title	Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen.
Publication Date:	1988
Publication Place	Amsterdam ; New York - North-Holland , 1988.
Subject	Constructive mathematics
Type	Book
Language	Arabic
Digital	No
Manuscript	No
Physical Dimensions	23 cm
Library:	The Institute for Advanced Study (IAS)
Record ID	3100001~!115963~!4775
Library Location	Math Stacks
Date	1988
Notes	v.1, second impression 2004., Includes bibliographical references and indexes.. v.1, second impression 2004., Includes bibliographical references and indexes.. 115963. 2 vols. (xx, 879, lii p.) : ill. ; 23 cm.
ISBN	0444702660, 9780444702661, 9780444703583, 0444703586
Seri	Studies in logic and the foundations of mathematics v. 121; 123, Studies in logic and he foundations of mathematics ; v. 123., Studies in logic and the foundations of mathematics v. 121.

View in source The Institute for Advanced Study (IAS)

The Institute for Advanced Study (IAS)

Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen.

Publication Date 1988

Publication Place Amsterdam ; New York - North-Holland , 1988.

Subject Constructive mathematics

Type Book

Language Arabic

Digital No

Manuscript No

Physical Dimensions 23 cm

Library The Institute for Advanced Study (IAS)

Record ID 3100001~!115963~!4775

Library Location Math Stacks

Date 1988

Notes v.1, second impression 2004., Includes bibliographical references and indexes.. v.1, second impression 2004., Includes bibliographical references and indexes.. 115963. 2 vols. (xx, 879, lii p.) : ill. ; 23 cm.

ISBN 0444702660, 9780444702661, 9780444703583, 0444703586

Seri Studies in logic and the foundations of mathematics v. 121; 123, Studies in logic and he foundations of mathematics ; v. 123., Studies in logic and the foundations of mathematics v. 121.