(logic) A function assigning a Gödel number to each well-formed formula of some formal language.

Alternative form of Alyawarra

(organic chemistry) The aromatic secondary amine 9,10-dihydroacridine related to acridine

(uncountable) A black or brownish black rock formed from prehistoric plant remains, composed largely of carbon and burned as a fuel.