Notions of Choice Sequence

Publisher Website

1 January 1982

book chapter
Published by Elsevier

p. 91-105
https://doi.org/10.1016/s0049-237x(09)70125-9

Abstract

No abstract available

This publication has 3 references indexed in Scilit:

An interpretation of intuitionistic analysis
Annals of Mathematical Logic, 1978
Change of base for toposes with generators
Journal of Pure and Applied Algebra, 1975
Formal systems for some branches of intuitionistic analysis
Annals of Mathematical Logic, 1970