Μαθηματικά

Μαθηματική λογική

Τυπικές γλώσσες, συμπερασμός και σημασιολογία.