Matches in DBpedia 2016-04 for { <http://doi.org/10.2307/2695030> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 2695030 doi "10.2307/2695030".
- 2695030 first "Dan E.".
- 2695030 isCitedBy Dan_Willard.
- 2695030 issue "2".
- 2695030 journal Journal_of_Symbolic_Logic.
- 2695030 last "Willard".
- 2695030 mr "1833464".
- 2695030 pages "536–596".
- 2695030 title "Self-verifying axiom systems, the incompleteness theorem and related reflection principles".
- 2695030 volume "66".
- 2695030 year "2001".