Behind this page is the "Logic for Fun" web site. This provides a variety of logical puzzles, ranging from very easy to totally baffling, and lets you solve them automatically by writing them up in a simple logical language. The puzzles are mainly intended to be used as an adjunct to a college course which may be in formal logic, critical thinking, computer science or another discipline. However, it can be enjoyed by anyone, student or not, who is prepared to think a little.

To use the site, you need to register your name and password.

IMPORTANT: PLEASE READ BEFORE REGISTERING ANY GROUP OR USER

If you have not yet registered and

• you are a member of a registered group (e.g. a student doing a course which has been registered as a group) you will need to register as a New User

• you are the organiser of a group which is not yet registered (e.g. you are the person teaching the course) you will need to register that Group

• you are not associated with any group, but just want to use the site for your own interest or amusement, you will need to register as a Single User

Note that registering a group or single user is obligation-free: it does not commit you to signing a contract or to proceeding with activation of the account.

If you have already registered, click on ENTER. By so doing you are agreeing to respect the copyright of all materials on the site: see the copyright permission notice on the information page for details of what this means.