Searching for "Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

, 295--320, 1995. [103] Computation on data types. The extensional approach, with an application to streams,
by Annals Of Pure, Macmillan Pub Co, R. Tieszen
…), Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis, J. Symbolic…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB