Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/bf01201363> ?p ?o }
Showing triples 1 to 26 of
26
with 100 triples per page.
- bf01201363 author1Link "Gerhard Gentzen".
- bf01201363 authorlink "Gerhard Gentzen".
- bf01201363 doi "10.1007/BF01201363".
- bf01201363 doi "10.1007/bf01201363".
- bf01201363 first "Gerhard".
- bf01201363 first1 "Gerhard Karl Erich".
- bf01201363 first1 "Gerhard".
- bf01201363 isCitedBy Cut-elimination_theorem.
- bf01201363 isCitedBy Gerhard_Gentzen.
- bf01201363 isCitedBy Natural_deduction.
- bf01201363 isCitedBy Sequent.
- bf01201363 isCitedBy Sequent_calculus.
- bf01201363 isCitedBy System_L.
- bf01201363 issue "3".
- bf01201363 journal "Mathematische Zeitschrift".
- bf01201363 last "Gentzen".
- bf01201363 last1 "Gentzen".
- bf01201363 pages "405–431".
- bf01201363 ref "harv".
- bf01201363 title "Untersuchungen über das logische Schließen".
- bf01201363 title "Untersuchungen über das logische Schließen. II".
- bf01201363 url "http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375605".
- bf01201363 url ?PPN=GDZPPN002375605.
- bf01201363 volume "39".
- bf01201363 year "1934–1935".
- bf01201363 year "1935".