|
|
|
|
| LEADER |
00812nam a2200205 a 4500 |
| 001 |
1063560 |
| 005 |
20171111232413.0 |
| 008 |
071030s1969 gr erb 000 0 eng d |
| 040 |
|
|
|a GrAtEKP.Mathimatiko
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 22
|a 510
|
| 100 |
1 |
|
|a Troelstra, Anne Sjerp
|
| 245 |
1 |
0 |
|a Principles of intuitionism/
|c by A. S. Troelstra
|
| 260 |
|
|
|a Berlin
|b Springer-Verlag,
|c 1969
|a Heidelberg
|a New York:
|
| 300 |
|
|
|a 111 p. ;
|c 25 cm.
|
| 490 |
0 |
|
|a Lecture Notes in Mathematics / Springer-Verlag ;
|v 95
|
| 500 |
|
|
|a "Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y."
|
| 504 |
|
|
|a Bibliography: p. 108-111
|
| 650 |
|
0 |
|a Mathematics
|
| 650 |
|
0 |
|a Intuitionistic mathematics
|
| 952 |
|
|
|a GrAtEKP
|b 59ccde3e6c5ad134460ab872
|c 998a
|d 945l
|e 510 LNM TroA p 1969 95
|t 2
|x m
|z Books
|
