Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/8b731266a16d083d8e45db56d983ac2159efeaeafc5c99ca7921642e90da5b15> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 8b731266a16d083d8e45db56d983ac2159efeaeafc5c99ca7921642e90da5b15 first "Gerhard".
- 8b731266a16d083d8e45db56d983ac2159efeaeafc5c99ca7921642e90da5b15 isCitedBy Cut-elimination_theorem.
- 8b731266a16d083d8e45db56d983ac2159efeaeafc5c99ca7921642e90da5b15 journal "American Philosophical Quarterly".
- 8b731266a16d083d8e45db56d983ac2159efeaeafc5c99ca7921642e90da5b15 last "Gentzen".
- 8b731266a16d083d8e45db56d983ac2159efeaeafc5c99ca7921642e90da5b15 number "3".
- 8b731266a16d083d8e45db56d983ac2159efeaeafc5c99ca7921642e90da5b15 pages "204–218".
- 8b731266a16d083d8e45db56d983ac2159efeaeafc5c99ca7921642e90da5b15 title "Investigations into logical deduction".
- 8b731266a16d083d8e45db56d983ac2159efeaeafc5c99ca7921642e90da5b15 volume "2".
- 8b731266a16d083d8e45db56d983ac2159efeaeafc5c99ca7921642e90da5b15 year "1965".