formal sciences
Mathematics . logic . statistics . Information . systems . Games . Decision . Ars judicandi . Computer science