Catalogue description 'A formal theorem in Church's theory of types'

Details of AMT/B/29

Reference:	AMT/B/29
Title:	'A formal theorem in Church's theory of types'
Description:	The file comprises an off-print of the article from 'Journal of Symbolic Logic', Vol. 7, No. 1, Mar. 1942. See online copies at the Turing Digital Archive
Date:	1942
Held by:	Cambridge University: King's College Archive Centre, not available at The National Archives
Language:	English
Physical description:	1 item in envelope paper

Have you found an error with this catalogue description? Let us know

Which field contains the error? Select from list Access conditions Arrangement Creator Date Description Former references Held by Language Legal status Note Other Physical description Reference Related Material Separated Material Title

What is the error?

What is the correct information?

Have you seen this error elsewhere? Please provide reference details (optional)

Your details

If you provide contact details we may contact you if we need more information.

Name

Email address

Place comments here

Help with your research

• How to use this catalogue