Name: Anonymous 2015-11-04 0:19
Is the same as Computer science.
" environment of semantics"To clarify, that would be which axioms are in use. A stupid example, but consider how < means different things in ℂ and ℤ. There are only so many symbols, after all.