search

catrincm / forallx-bris

Bristol version of forallx, an introduction to formal logic
Creative Commons Attribution Share Alike 4.0 International
1 stars 0 forks source link

FOL #23

Open catrincm opened 3 years ago

catrincm commented 3 years ago

Organising the FOL much better. Explicitly talk about the symbolisation strategies. Introduce the syntax earlier.

catrincm commented 2 years ago

Various commits have done something here. Improvement to be had, but it's published now.