Choice sequences A chapter of instuitionistic mathematics.
Troelstra A S
Choice sequences A chapter of instuitionistic mathematics. - Oxford Clarendon Press 1977 - ix,170p. cm.
44658
Textual
R14, L7
Choice sequences A chapter of instuitionistic mathematics. - Oxford Clarendon Press 1977 - ix,170p. cm.
44658
Textual
R14, L7
