Author: CROSSLEY, J.N. & M.A.E.DUMMET. (ed.)
Title: Formal systems and recursive functions. Proceedings of the Eight Logci Colloquium, Oxford 1963.
Description: A'dam 1965. (vii), 320 pp. orcl.w.dj. (St.in Logic & the Found.of Math.)

Keywords:


See more books from our catalog: Philosophy 1500-Now