Logic Software

Logic Mahjong 1.0 Yoogi Games : Free Downloadable Games 

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 1.93 Mb.


   
 

AbcPuzzles 8.3 Getfreefile 

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 725.24 Kb.

Exotic Minesweeper 1.01 Astatix Software 

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 682.79 Kb.

World of CryptoPics 2.01 Simplism Games 

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 1.46 Mb.

Japanolle 1.3 Yavsoft 

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 987.14 Kb.

Alf's Quest 1.04 Order Entertainment 

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 14.48 Mb.

Kakuro SoftBook 1.0 Yoogi Games : Free Downloadable Games 

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 2.81 Mb.

Sudoku Soft-Book 1.0 Yoogi Games : Free Downloadable Games 

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 2.95 Mb.

Chromentum 2 1.00 Alpha72 Games 

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 20.48 Mb.

BentBend 1.0 NiVi Games 

BentBend is a new brainteaser game. Connect colored cubes two by two to get a rich bonus. Your connections must not cross.

Game features:
*100 increasingly challenging levels
*Helpful hint feature
*Good music and nice graphics . Free download of BentBend 1.0, size 3.59 Mb.

Sudoku Arena 1.02 Sudoku Arena 

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.

Featuring:
. Free download of Sudoku Arena 1.02, size 3.71 Mb.

Egypt Cross Number 1.0 Fun Games 4 Me 

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 12.35 Mb.

CalcSupreme 1.28 Syringa Software, Inc. 

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 25.25 Mb.

Magic Forex Intuition 1.2.0.13 Magic Intuition 

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 1.2.0.13, size 4.62 Mb.

Fathom It! 1.2 Mountain Vista Software 

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 982.02 Kb.

Color Mosaic 1.01 Softjournal 

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 500 b.

Squaricon 2.1 Impresa 

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 18.73 Mb.

Logic Minimizer 1.2.1 Vikhetan Appa 

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 7.26 Mb.

AL-Search 2.5 Prognext 

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 1.30 Mb.

Amazon Chess 1.6.1 Amazon-Chess.com 

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 16.02 Mb.


Logic Web Results

Classical Logic

Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.

Mathematical Logic around the World

A rich collection of links to logic-related websites.

Mathematical Logic around the world

A service provided by the Mathematical Logic Group in Bonn

Logic and Mathematics: Connections and Interactions

Conference on applications of logic in mathematics; Urbana-Champaign, Illinois, May 21-25, 2003.

Logic at Leeds Homepage

Information on the Leeds University Logic Group

Logic and Games

Survey of game-theoretical approaches to logic; by Wilfrid Hodges.

Infinitary Logic

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.