If your download does not start after a few seconds, click here

Logic Sticks Team. Traditionally logic is closely linked to linguistic practice and particularly to language. Categorical logic sticks to the traditional link with linguistic.