Normal view MARC view

Mathematical induction and recursive definitions (Topical Term)

Preferred form: Mathematical induction and recursive definitions

Machine generated authority record.

Work cat.: (OSt)185423: Martin, John C. 134882, Introduction to languages and the theory of computation /, 2003.