Informal theory of choice sequences

DOI10.1007/BF02297268zbMath0263.02017MaRDI QIDQ2561210

A. S. Troelstra

Publication date: 1969

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items (4)

Unnamed Item ⋮ Intuitionistic views on the nature of mathematics ⋮ Brouwer's constructivism ⋮ A very strong intuitionistic theory

Cites Work

• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Informal theory of choice sequences