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

Consider doing syntax and/or models before symbolisations?? #28

Closed catrincm closed 2 months ago

catrincm commented 2 months ago

done by johannes for 23-24