About: http://webisa.webdatacommons.org/396541491

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	What led him to natural deduction in the first place, other than the general idea of studying ???mathematical inference as it appears in practice,??? is not indicated anywhere in his publications or preserved manuscripts.
http://www.w3.org/ns/prov#wasQuotedFrom	philpapers.org