Choice sequences : a chapter of intuitionistic mathematics
by A. S. Troelstra.
Oxford : Clarendon Press, 1977.
ix, 170 págs. ; 25 cm.
Serie: Oxford logic guides
ISBN: 019853163X
Bibliografía: p. [161]-167.
Reseña: MathSciNet, 57 #15979
Biblioteca Dr. Antonio Monteiro · Catálogo | |
Oxford : Clarendon Press, 1977.
ix, 170 págs. ; 25 cm.
Serie: Oxford logic guides
ISBN: 019853163X
Bibliografía: p. [161]-167.
Reseña: MathSciNet, 57 #15979
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com