  We prove Iitaka's $C_{n,m}$ conjecture for $3$-folds over the algebraic
closure of finite fields. Along the way we prove some results on the birational
geometry of log surfaces over nonclosed fields and apply these to existence of
relative good minimal models of $3$-folds.
