In which style do the inductive definition and the inference rule format describe the syntax of a language?

Logic Tools