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

AMT-B-29

Newman, M.H.A. and AMT; Off-print, 'A formal theorem in Church's theory of types' from The Journal…