Thèse de Church

concept

Propriétés