Matches in DBpedia 2016-04 for { <http://doi.org/10.2307/2266170> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 2266170 authorlink "Alonzo Church".
- 2266170 doi "10.2307/2266170".
- 2266170 first "Alonzo".
- 2266170 first1 "A.".
- 2266170 isCitedBy Lambda_calculus.
- 2266170 isCitedBy Q_zero.
- 2266170 journal "Journal of Symbolic Logic".
- 2266170 last "Church".
- 2266170 last1 "Church".
- 2266170 page "1940".
- 2266170 pages "56–58".
- 2266170 title "A Formulation of the Simple Theory of Types".
- 2266170 volume "5".
- 2266170 year "1940".