Ravin’s Reviews > The Language of Mathematics: A Linguistic and Philosophical Investigation > Status Update

This book is tough read if you don't remember your formal theory(specifically context free grammar), and it would be good if you are have some knowledge in Discourse Representation Theory(DRS). I got stuck on chapter 3 because the author starts to use DRS and Context Free Grammar to explain the theory of mathematics as a language. Need to brush up on DRS, and Context Free Grammar.