Formal systems and recursive functions proceedings

Opis bibliograficzny
organizacja autorów:	Logic Colloquium Oxford, Association for Symbolic Logic, North Atlantic Treaty Organization, International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science, Symposium on Recursive Functions
Kolejni autorzy:	Crossley, John N., Dummett, Michael A. E.
Format:	Książka
Wydane:	Amsterdam North-Holland Pub. Co. 1965.
Seria:	Studies in logic and the foundations of mathematics.
Hasła przedmiotowe:	Logic, Symbolic and mathematical. Recursive functions.