A Formal Theorem in Church's Theory of Types

Newman, M. H. A. and Turing, Alan M. (1942) A Formal Theorem in Church's Theory of Types. J. Symb. Log., 7 (1). pp. 28-33.

Full text not available from this repository.
Official URL: http://dx.doi.org/10.2307/2267552
Item Type: Article
Depositing User: Unnamed user with email dlinke@informatik.uni-rostock.de
Date Deposited: 18 Jun 2015 08:18
Last Modified: 18 Jun 2015 08:18
URI: http://eprints.informatik.uni-rostock.de/id/eprint/20

Actions (login required)

View Item View Item
Eprints is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.