Application of logic to combinatorial sequences and their recurrence relations

1. Sequences of integers and their combinatorial interpretations 2. Linear recurrences 3. Logical formalisms 4. Finiteness condition