Turing, Alan M. (1942) The Use of Dots as Brackets in Church's System. J. Symb. Log., 7 (4). pp. 146-156.
|
Text
2268111.pdf Download (1MB) | Preview |
Official URL: http://dx.doi.org/10.2307/2268111
| Item Type: | Article |
|---|---|
| Depositing User: | Unnamed user with email dlinke@informatik.uni-rostock.de |
| Date Deposited: | 18 Jun 2015 08:19 |
| Last Modified: | 18 Jun 2015 08:19 |
| URI: | http://eprints.informatik.uni-rostock.de/id/eprint/21 |
Actions (login required)
 |
View Item |
