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!
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
3 years ago