Assertion: natural deduction | /r/HasProperty | proposed by german mathematician
Facets:
value: independently
type: MANNER
value: in 1934
type: TEMPORAL
value: in a dissertation
type: LOCATION
Source sentences:
text: Natural deduction in its modern form was independently proposed by the German mathematician Gerhard Gentzen in 1934, in a dissertation delivered to the faculty of mathematical sciences of the University of Göttingen.