Formal systems and recursive functions
Subtitle: proceedings
Publisher: North-Holland Pub. Co.
Published: 1965-01-01