A learning program produces, as its output, a Boolean function which describes a concept. The function returns true if and only if the argument is an object which satisfies the logical expression in the body of the function. The learning program's input is a set of objects which are instances of the concept to be learnt. The paper describes an algorithm devised to learn concept descriptions in this form. 15 references.