Reductive Logic and Proof-search - 9780198526339

Ši knyga yra specializuota monografija apie matematikos ir skaičiavimo metateorijos raidą – redukcinės logikos ir įrodymų paieškos – logikos sritis, kurios tampa svarbios informatikos moksle. Sistemingas pamatinis tekstas šiomis naujomis temomis, apimantis įrodymo teorinius, semantinius / modelio teorinius ir algoritminius aspektus. Apimtis svyruoja nuo konceptualaus pagrindo iki redukcinės logikos, per jos matematinę metateoriją iki šiuolaikinių pritaikymų skaičiavimo moksluose. Tinka tyrėjams ir magistrantams matematinės, skaičiavimo ir filosofinės logikos bei teorinės informatikos ir dirbtinio intelekto srityse. Tai naujausias prestižinių visame pasaulyje žinomų Oksfordo logikos vadovų, kuriuose yra Michaelo Dummeto intuicionizmo elementai (2-asis leidimas), Dov. M. Gabbay, Mark A. Reynolds ir Marcelo Finger laikinės logikos matematiniai pagrindai ir skaičiavimo aspektai, JM Dunn ir G. Hardegree algebriniai metodai filosofinėje logikoje, H. Rotto kaita, pasirinkimas ir išvados. ir PT Johnstone'o eskizai apie dramblį: Topos teorijos rinkinys: 1 ir 2 tomai.