Constructivism in mathematics : an introduction

Saved in:

Bibliographic Details
Main Author:	Troelstra, A. S. (Anne Sjerp)
Other Authors:	Dalen, D. van (Dirk) 1932-
Format:	Book
Language:	English
Published:	Amsterdam ; New York : New York, N.Y. : North-Holland ;, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Series:	Studies in logic and the foundations of mathematics ; ; 121 ; 123
Subjects:	Constructive mathematics.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000nam a2200000 i 4500
001	1/81192
008	990514s1988 eng d
020			\|a 0-444-70266-0
020			\|a 0-444-70358-6
035			\|l 10050827
040			\|a GR-MY-UA \|b gre \|e aacr
041	0		\|a eng
082	0		\|a 511.3
100	1		\|a Troelstra, A. S. \|q (Anne Sjerp)
245	1	0	\|a Constructivism in mathematics : \|b an introduction / \|c A.S. Troelstra, D. van Dalen
260			\|a Amsterdam ; New York : \|a New York, N.Y. : \|b North-Holland ;, \|b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
300			\|a 2 v. (xx, 879 p. lii p.); \|b ill.; \|c 23 cm.
490	1		\|a Studies in logic and the foundations of mathematics \|v ; 121 ; 123
500			\|a Includes bibliographies and indexes
650	0	0	\|a Constructive mathematics.
700	1		\|a Dalen, D. van \|q (Dirk) \|d 1932-
830		0	\|a Studies in logic and the foundations of mathematics ; \|v ; 121 ; 123
852			\|a INST \|b SAMOS \|e 19990514 \|h 511.3 TRO \|p 005300012645 \|q 005300012645 \|t BK \|y 0 \|z v.1
852			\|a INST \|b SAMOS \|e 19990514 \|h 511.3 TRO \|p 005300012646 \|q 005300012646 \|t BK \|y 0 \|z v.2
852			\|a INST \|b SAMOS \|e 19990514 \|h 511.3 TRO \|p 005300012645 \|q 005300012645 \|t BK \|v v.1: \|y 0 \|z v.1
852			\|a INST \|b SAMOS \|e 19990514 \|h 511.3 TRO \|p 005300012646 \|q 005300012646 \|t BK \|v v.2: \|y 0 \|z v.2
853			\|a INST \|b SAMOS \|h 511.3 TRO
901			\|a BIBL3-1999-2
909			\|a Σ \|b 063185
909			\|a Σ \|b 063186
922			\|a 3ΕΛΗ \|b 199905 \|c ΕΠΕΑΕΚ/ΜΑΘ \|d LEADER