Functions and mathematical examples

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic

https://forallx.openlogicproject.org/

Creative Commons Attribution 4.0 International

94 stars 30 forks source link

Open rzach opened 7 years ago

rzach commented 7 years ago

Should also cover functions, and mathematical examples (eg language of arithmetic)