Formal Systems and Recursive Functions. Proceedings of the eighth Logic Colloquium, Oxford, July 1963. Edited by J. N. Crossley ... and M. A. E. Dummett (Studies in Logic and the Foundations of Mathematics.)
10.45 MiB
Download ready in 3s