This is a formal system designed to study the behavior of functions in a purely mathematical way, similar to that of symbolic logic.
This is a formal system designed to study the behavior of functions in a purely mathematical way, similar to that of symbolic logic.