Matches in DBpedia 2015-10 for { <http://doi.org/10.2178/bsl/1120231632> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- 1120231632 authorLink "William W. Tait".
- 1120231632 doi "10.2178/bsl/1120231632".
- 1120231632 first "W. W.".
- 1120231632 format "PDF".
- 1120231632 isCitedBy Gentzens_consistency_proof.
- 1120231632 issn "1079-8986".
- 1120231632 issue "2".
- 1120231632 journal "The Bulletin of Symbolic Logic".
- 1120231632 last "Tait".
- 1120231632 pages "225–238".
- 1120231632 publisher Association_for_Symbolic_Logic.
- 1120231632 title "Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counterexample interpretation".
- 1120231632 url "http://home.uchicago.edu/~wwtx/GoedelandNCInew1.pdf".
- 1120231632 volume "11".
- 1120231632 year "2005".