Logical and Programming Style

• Logical Style
  • The Main Points
  • The Logic of an Old Version
  • Implementation of EFT
  • The Logical Preamble
• Programming Style
  • Basic Control Structures
  • Recursion
  • Abstraction and Reduction Algorithms