The logic tag has no wiki summary.
2
votes
0answers
102 views
Reference request for logic programming in Mathematica
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!
-1
votes
0answers
72 views
Returning value inside module to outside the module loop
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 ...
