xxx: Yeah fuck, my headline looks like a list of Harry Potter books.
XXX: Mathematical Logic and AI Systems. Mathematical logic and modern computers. Mathematical Logic and Programming.