Choice sequences : a chapter of intuitionistic mathematics

by A. S. Troelstra
Bok · Språk ikke angitt · 1977 A.S. Troelstra

Utgitt	Oxford : Clarendon , 1977
Omfang	IX, 170 s.
Emner	Intuitionistic mathematics. Sequences (Mathematics) Matematisk filosofi
ISBN	019853163X