Welcome to the LogicPalet site!

LogicPalet is a software tool designed to help students master the basic concepts of mathematical logic, with emphasis on semantic aspects.
It is written by Jan Denef from the K.U.Leuven. At this moment LogicPalet only works on Windows Vista, Windows XP, and Windows 7.
To obtain a free copy of the software please contact Jan Denef to get a password for downloading it.

Here is the documentation for LogicPalet .

concord foamposites michael kors outlet wolf grey 3s Foamposites Louis Vuitton Outlet louis vuitton outlet Louis Vuitton Outlet michael kors outlet lebron 12 Lebron 11 thunder 14s sport blue 6s sport blue 3s sport blue 3s Michael Kors Outlet Louis Vuitton Outlet sport blue 3s lebron 12 michael kors outlet michael kors outlet