Logic Page (Popularity: )

Maintained by Christian Gottschall, Vienna philosophy department.
Category: Science\Math\Logic and Foundations\Directories

CompuFlow Solutions (Popularity: )

Flow calibration equipment; repairs, upgrades, preventive maintenance, and certifications.
Category: Science\Instruments and Supplies\Laboratory Instrument Service, Calibration, and Repair

Proof General (Popularity: )

Emacs based generic interface for theorem provers.
Category: Science\Math\Logic and Foundations\Computational Logic