Matches in DBpedia 2015-10 for { <http://doi.org/10.1305/ndjfl/1040511346> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 1040511346 doi "10.1305/ndjfl/1040511346".
- 1040511346 first1 "Makoto".
- 1040511346 first2 "Kazuyuki".
- 1040511346 isCitedBy Gxc3xb6dels_incompleteness_theorems.
- 1040511346 issn "0029-4527".
- 1040511346 issue "3".
- 1040511346 journal "Notre Dame Journal of Formal Logic".
- 1040511346 last1 "Kikuchi".
- 1040511346 last2 "Tanaka".
- 1040511346 mr "1326122".
- 1040511346 pages "403–412".
- 1040511346 title "On formalization of model-theoretic proofs of Gödel's theorems".
- 1040511346 volume "35".
- 1040511346 year "1994".