Symbolic Logic
This section began as an informal tutorial on the monadic predicate calculus presented to a group of co-workers, at their request.
No, really!
This section began as an informal tutorial on the monadic predicate calculus presented to a group of co-workers, at their request.
No, really!