Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/804fdf2034f71928c6aa7c9864f96401bb509f938412b12344fbb4e806955ca9> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 804fdf2034f71928c6aa7c9864f96401bb509f938412b12344fbb4e806955ca9 chapter "Some systems of second order arithmetic and their use".
- 804fdf2034f71928c6aa7c9864f96401bb509f938412b12344fbb4e806955ca9 first1 "Harvey".
- 804fdf2034f71928c6aa7c9864f96401bb509f938412b12344fbb4e806955ca9 isCitedBy Reverse_mathematics.
- 804fdf2034f71928c6aa7c9864f96401bb509f938412b12344fbb4e806955ca9 last1 "Friedman".
- 804fdf2034f71928c6aa7c9864f96401bb509f938412b12344fbb4e806955ca9 mr "0429508".
- 804fdf2034f71928c6aa7c9864f96401bb509f938412b12344fbb4e806955ca9 pages "235–242".
- 804fdf2034f71928c6aa7c9864f96401bb509f938412b12344fbb4e806955ca9 publisher "Canad. Math. Congress, Montreal, Que.".
- 804fdf2034f71928c6aa7c9864f96401bb509f938412b12344fbb4e806955ca9 title "Proceedings of the International Congress of Mathematicians , Vol. 1".
- 804fdf2034f71928c6aa7c9864f96401bb509f938412b12344fbb4e806955ca9 year "1975".