Troelstra A S

Choice sequences A chapter of instuitionistic mathematics. - Oxford Clarendon Press 1977 - ix,170p. cm.

44658

Textual

R14, L7