Matches in DBpedia 2015-10 for { <http://doi.org/10.1007/BF01201363> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- BF01201363 authorlink "Gerhard Gentzen".
- BF01201363 doi "10.1007/BF01201363".
- BF01201363 first "Gerhard".
- BF01201363 isCitedBy Cut-elimination_theorem.
- BF01201363 journal "Mathematische Zeitschrift".
- BF01201363 last "Gentzen".
- BF01201363 pages "405–431".
- BF01201363 title "Untersuchungen über das logische Schließen".
- BF01201363 volume "39".
- BF01201363 year "1934–1935".