Formal systems and recursive functions; proceedings/ Edited by J.N. Crossley and M.A.E. Dummett.

By:

((8th : : Logic Colloquium ((8th : : 1963 : : Oxford, Oxfordshire))

Contributor(s):

Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam ; North-Holland, 1965.Description: 320 p.: 23 cmSubject(s):

DDC classification:

511.3 F723

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 F723 1965 IMPA (Browse shelf(Opens below))	1	Available		39063000099948

Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.

Includes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science.

Includes bibliographies.

There are no comments on this title.

to post a comment.