Members of the Bournemouth, Dorset, England club build models of power, sail, and scale vessels and provide a calendar of events and a gallery of completed models.

Survey article on multiple-valued logics, by Siegfried Gottwaldof of Leipzig University.

The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higher-order, classical, natural deduction with tactics.

Community located at the mouth of the Neuse River on the intracoastal waterway. Offers boat slip sales and rentals, townhouse sales, and shopping.

Offers website promotion services, optimizing and marketing. Includes FAQs, articles, news, and webmaster tools. Chicago, Illinois.

Offering sailing charters in the Port Aransas area on a 37' Catamaran for up to 20 people. Site includes boat data, crew profile, itineraries, prices and contact information.

Salmon fishing charters on 28-foot boat with experienced guide. Includes rates, description, and photo of boat.

Puzzle and logic games for PCs.

Captain profile, boat photos, fishing information, tips, maps, and rates.

Specializing in new and late model sailboats, cruising and racing yachts, and large yachts from private owners, with links to charters and boat shows. In English, French, and German.…

Offering a variety of rangefinding products.

An online textbook by Garth Kemerling, explaining the basic elements of elementary logic at an undergraduate level.

Villanova University - computability logic, game semantics, provability logic.

Manufacturer of carbon ribless racing shells. Located in London, Ontario, Canada.

Islandhopping in Croatia with boat and bike by several european tour operators. Oceans, rivers, service, and contacts.

…nderstanding of reality. Specifically examines Aristotelian Logic and its affects on distorting our understanding of reality.…

Developers of Windows cards and logic games, and utility software.

Up to date catch reports, competition listings, hints and tips and where to fish in the Bristol Channel. Covering the Devon and Somerset coastline, both boat and shore sea fishing.

Includes biography, discography, lyrics, images, reviews, and interviews.

Constraint logic programming (CLP) based language. Backtracking, advanced data types (including "Bignum") and data structures. IDE/Compiler for Windows 9x/NT/2000/XP.