When linguists talk mathematical logic

oleh: David James Lobina

Format: Article
Diterbitkan: Frontiers Media S.A. 2014-05-01

Deskripsi

Subjek

recursion; definition by induction; mathematical induction; Induction scheme; Recursive functions