I'm learning Mathematica(v8) to use it to program formal logic. Can anyone recommend a logic-specific tutorial text? A reference list of logic-related functions would also be very appreciated!
As the question states, I'm running a series of loops within a module. Specifically, I wish to return the value declared by my Do/If loop (I am using Catch/Throw to return the iteration value I need ...