Author(s): R. 0. Gandy, C. M. E. Yates
Series: Studies in Logic and the Foundations of Mathematics
Publisher: Elsevier, Academic Press
Language: English
Pages: 437