1614 માં પ્રકાશિત નેપિયરની કોષ્ટકોથી સ્વતંત્ર ગાણિતિક આધારીત તર્કશાસ્ત્રનો પરિચય કરાવનાર પ્રથમ.