Next


An Introduction to Formal Language Theory that Integrates Experimentation and Proof


image

Bridge to Abstract Mathematics: Mathematical Proof and Structures


image

Language, Proof and Logic


image


  Next