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