issues
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
Make symbolisation stages look like formation trees
#27
Open
catrincm
opened
2 years ago
catrincm
commented
2 years ago
See the example on summary - FOL_ctd.
See the example on summary - FOL_ctd.