Before revision: aaa Mathematical logic – Boolean logic and other ways of modeling logical queries; the uses and limitations of formal proof methods Number theory – Theory of the integers.
After revision: Mathematical logic – Boolean logic and other ways of modeling logical queries; the uses and limitations of formal proof methods Number theory – Theory of the integers.