When the FORTRAN programming language debuted in 1957, it transformed how scientists and engineers programmed computers.
This paper contains a formal framework within which logic, set theory and programming are presented together. These elements can be presented together because, in this work, we no longer regard a ...