Formal systems and recursive functions
Subtitle: proceedings of the eighth Logic Colloquim
By: ed. by J. N. Crossley and M. A. E. Dummett.
Contributors: Crossley, J N.; Dummett, Michael A E.; Association for Symbolic Logic.
Publisher: North-Holland Pub.Co
Published: 1965
Place of publication: Amsterdam
Language: eng
Number of pages: 320
Notes: Sponsored by Association for Symbolic Logic.