Cruises for lunch, brunch, dinner, moonlight and special occasions. Packages available as well as boat rental.

Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic.

Hope Town Harbour location with free delivery to Man-O-War, Marsh Harbour and Elbow Cay.

XESS Corp develops and sells XILINX FPGA and CPLD reconfigurable-logic demo boards.

Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.

Based on the Black Isle in Scotland.

Community events, boat listings, and links to webcams.

An association of independent boat and yacht transporters and transport companies. Boat captains available for delivery. Marine products and maritime services.

Lists locations, dates and contacts.

Locate California harbors, marinas and Yacht Clubs with facility information, weather conditions and aerial photos.

Oil and water color painting for portraits and illustrations. Also photo frames and boat models. Located in Bangkok.

Located on Gull Lake. With 53 acres, and over 3,000 feet of lakeshore, you have privacy and room to roam. Swim, boat, fish, play tennis, or golf.

Comprehensive site featuring free classified ads, boat show calendar, marina locater, accessories, and marine forecast.

Yacht and boat designs, plans and manuals for the home and professional boat builder. Power, sail, paddle, and rowing craft.

Offer a range of 4WD, boat, aircraft, and camel safaris throughout Australia, hosted by Rex Ellis. Details of tours available and company history included.

Builds aluminum vertical and cantilever boat lifts, roof systems, and floating and sectional docks. Located in Cornwall, Ontario, Canada.

Tour company specializing in boat trips in Halong Bay. Provides overview of offerings plus picture gallery.

Resources collected by Renate Schmidt.

This page contains a collection of logical laws of the first-order logic. This collection is based on the Kleene's collection from his books 'Introduction to Metamathematics' and 'Mathematical Logic' and contains a f…

A custom boat builder specializing in commercial and recreational fishing boats. Includes photos, specifications, equipment, and options for models offered.