A formal theorem in Church's theory of types

From BibNetWiki

Jump to: navigation, search

M. H. A. Newman, Alan M. Turing - A formal theorem in Church's theory of types

Journal of Symbolic Logic 7:28--33, 1942

Author : M. H. A. Newman, Alan M. Turing
Title : A formal theorem in Church's theory of types
Publication Type : Journal of Symbolic Logic -
Address :
Date : 1942

List of Papers citing this one.

List of Papers cited by this one.

Retrieved from "http://bibnetwiki.org/wiki/A_formal_theorem_in_Church%27s_theory_of_types"

Categories: M. H. A. Newman Paper | Alan M. Turing Paper | Paper | Paper Year 1942 | Journal Journal of Symbolic Logic

Views

Personal tools

Log in / create account

Search

Toolbox