Lukuteoria ja logiikka (OPS 2003)