Choice sequences : a chapter of intuitionistic mathematics /

Bibliographic Details
Main Author: Troelstra, Anne Sjerp, 1939-
Format: Book
Language:English
Published: Oxford : Clarendon Press, 1977.
Series:Oxford logic guides
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20181114140415.0
008 100319s1977 enk||||| |||| 00| 0 eng d
020 |a 019853163X 
040 |a AR_CdUFM 
100 1 |a Troelstra, Anne Sjerp,  |d 1939-  |9 17406 
245 1 0 |a Choice sequences :   |b a chapter of intuitionistic mathematics /  |c Anne Sjerp Troelstra. 
260 |a Oxford :   |b Clarendon Press,   |c 1977. 
300 |a ix, 170 p. ;  |c 25 cm. 
490 0 |a Oxford logic guides 
504 |a Bibliography: p. [161]-167. 
650 4 |a Lógica matemática. 
942 |c LIBRO 
945 |a AB 
952 |0 0  |1 0  |2 MSC  |4 0  |6 M_03_T843  |7 0  |9 3887  |a MMA  |b MMA  |c 2  |d 2008-06-09  |l 0  |o M 03 T843  |p 06191  |r 2023-01-30  |w 2008-06-09  |y LIBRO 
999 |c 2957  |d 2957