Logical Mahjong is a single player board game / puzzle game. (also known as Kadai games, pile o tiles, same tiles game). The game is based on Chinese mahjong board game, and has been modernized to suit computer puzzle lovers.In this game, you have to remove identical pair of tiles from a given mahjong board. You can remove tiles that have either
Free download of Logic Mahjong 1.0, size
AbcPuzzles offers two variations on a tile-based puzzle game. Each uses the same basic engine, in which you move the tiles in groups of four or more by spinning them with the control located in the corner where four tiles touch. Much like Rubik's Cube in two dimensions, the games are harder than they first look since you must get the tiles properly
Freeware download of AbcPuzzles 8.3, size
Exotic Minesweeper takes you classic minesweeper gameplay, sound effects, large best players table, playing statistics, customizable colors and cells size.
There are many different board variations with cells of different shapes: hexagonal, octagonal, square, parquet and others.
Additional features: sound effects, customizable colors and
Free download of Exotic Minesweeper 1.01, size
CryptoPics (also known as Nonograms or Griddlers) are logic puzzles originating in Japan, in which the aim is to reveal a hidden picture by looking at the number clues.
With this fully-featured software you can play pre-made picture puzzles, randomly generated puzzles and puzzles created from image files.
It includes a built-in
Free download of World of CryptoPics 2.01, size
Japanese crosswords are ciphered pictures. You have a playing field with rows and columns, each of them is described by some number. The number says how many colored cells there are in each row/column. Their order corresponds to the order of colored areas. The purpose of the game is to fill the cells in the correct order. There are tons of
Free download of Japanolle 1.3, size
Alf's Quest is a puzzle-based game relying on an idea that we had for years. It combines the challenge of a classic puzzle with vast landscapes making the game an unique experience.Alf is trapped in a mystic realm of stone castles, wild beasts and evil sorcerers. Your goal is to get all the pieces from the LOST ARCANE ARMOUR and use it's powers to
Free download of Alf's Quest 1.04, size
Kakruo is a popular number puzzle game, similar to crosswords but with numbers. In this logic puzzle, the clues are sum of digits of the answer number. It Presents an intresting alternative for number game enthusiasts who likes sudoku.Yoogi Games is one of the best syndicate for logic games, esp kakuro puzzles. Our puzzles appear in leading dailies
Free download of Kakuro SoftBook 1.0, size
Sudoku is a recently popular number puzzle game from Japan. You need to fill the grid with numbers in such a way that all rows, columns and 3x3 squares have all digits (1-9). These puzzles are printed daily on many leading newspapers.
These puzzles are classified under 3-5 difficulty levels, so you know how difficult a puzzle is, before
Free download of Sudoku Soft-Book 1.0, size
Goldy and Sweety want to make their land beautiful again, help them on their way by completing over 700 hand-crafted levels, including 120 single action bonus levels with 16 different Chromate types. Move and shoot your Chromate around the levels to try and cover all the circles with other Chromates. Ramps, slides and corners give each level a
Free download of Chromentum 2 1.00, size
BentBend is a new brainteaser game. Connect colored cubes two by two to get a rich bonus. Your connections must not cross.
*100 increasingly challenging levels
*Helpful hint feature
*Good music and nice graphics
Free download of BentBend 1.0, size
This multimedia Sudoku puzzle is unique in 3 ways. Level of difficulty is based on 5 parameters which gives very precise puzzles. Theme graphics, music and sounds create a great atmosphere. Drag&drop playback interface makes playing more intuitive. Many helpful options are available, especially for Sudoku beginners.
Free download of Sudoku Arena 1.02, size
Have you ever played a game so simple and yet so catchy that your time just flew by? That is our new game Egypt Cross Number! If you love crossword puzzles, Sudoku or any other brain games we are confident you will appreciate our new game! The main goal of the Cross Number game is similar to a crossword puzzle: to fill in horizontal or vertical
Free download of Egypt Cross Number 1.0, size
CalcSupreme, an RPN calculator emulation and much more, encompasses a wide range of basic, financial, math/science, and logic operations, accessible respectively via four different screens. Basic operations include arithmetic, algebraic functions, data manipulations, numeric formatting, and menu selections. Finance includes loan/savings, cash-flow,
Free download of CalcSupreme 1.28, size
Magic Forex Intuition training software is designed to develop intuition to work at Forex (foreign exchange market). Everyday training will help you to correctly determine the correct currency exchange rate trend. With time, as you will see, you will make more correct decisions than wrong ones. And their number will keep growing. After one or two
Free download of Magic Forex Intuition 184.108.40.206, size
FATHOM IT! v1.2 - Fathom It!, a logical puzzle, is a fascinating Windows version of GAMES Magazine's column "Battleships". Unlike the classic pencil-and-paper game of battleship, Fathom It! boards are solved using logical deduction only. You'll find Fathom It! board solutions have a chess-like beauty. Try solving a Fathom It! board or two
Free download of Fathom It! 1.2, size
Easy to learn and fun to play puzzle game. Similar to Tetris in that you are trying to combine all the different pieces together to fill the selected picture. You need to be quick and accurate in placing tetris-pieces, when you successfully complete fill the picture you win!Full version of the game has more then 50 levels and 3 level of
Free download of Color Mosaic 1.01, size
Since the Squaricon game mechanics discovered a four Years ago, I played it many thousand times. This pattern-matching game entertains me still today by its elusive motion and outstanding brain challenging game play.
However, this is not another disposable product. You will learn this game in few minutes and master for the rest of your life.
Free download of Squaricon 2.1, size
logic Minimizer is an innovative, versatile application for simplifying karnaugh maps and logical expressions step by step. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital devices constructors or anybody involved with logical expressions. With its powerful minimization
Free download of Logic Minimizer 1.2.1, size
Al-Search is a Boolean based precise and selective desktop search center. Are too many irrelevant results ruining your searches? Do you have complicated, unique search needs? Al-Search lets you use brand new inclusion/exclusion/Boolean techniques that eliminate irrelevant results, and other file/text/date/time options to create more sophisticated
Free download of AL-Search 2.5, size
If you love chess games then don't miss out on Amazon Chess. It is one of the most singular and unusual chess games you can find. Apart from the traditional game, you can play in amazon mode, where amazon warriors violently fight each other in place of conventional pieces. Amazon Chess has isometric graphics, each amazon piece is carefully designed
Free download of Amazon Chess 1.6.1, size
Logic Web Results
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
A rich collection of links to logic-related websites.
A service provided by the Mathematical Logic Group in Bonn
Conference on applications of logic in mathematics; Urbana-Champaign, Illinois, May 21-25, 2003.
Information on the Leeds University Logic Group
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities.