Search and compare thousands of words and phrases in British Sign Language (BSL). The largest collection online.
How to sign: a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Similiar / Same: functional calculus
Categories: formal logic, mathematical logic, symbolic logic