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