History

for article: Frege–Church ontology