Troelstra, A.S..

Choice Sequences / - 1st ed / - Oxford OX2 6DP : Oxford University Press. - p.170,ix :

0-19-853163-X


Sequences

B361 / L7;1