A note on a proof of Shepherdson.

Sat, 01 Jan 1983 00:00:00 +0100

T. B. Flannagan:
A note on a proof of Shepherdson. Arch. Math. Log. 23(1): 55-60 (1983)