Reductive Logic and Proof-search - 9780198526339

Książka ta jest specjalistyczną monografią na temat rozwoju metateorii matematycznej i obliczeniowej logiki redukcyjnej oraz poszukiwania dowodów, czyli obszarów logiki, które stają się ważne w informatyce. Systematyczny, fundamentalny tekst dotyczący tych pojawiających się tematów, obejmujący aspekty teorii dowodu, teorii semantyki/modelu i algorytmiki. Zakres sięga od podstaw pojęciowych, poprzez logikę redukcyjną, poprzez jej metateorię matematyczną, aż po współczesne zastosowania w naukach obliczeniowych. Jest to najnowsza pozycja z prestiżowego, znanego na całym świecie Oxford Logic Guides, zawierającego elementy intuicjonizmu Michaela Dummeta (wydanie drugie), przeznaczone dla badaczy i studentów logiki matematycznej, obliczeniowej i filozoficznej, a także teoretycznej informatyki i sztucznej inteligencji, Dov M. Gabbay, Mark A. Reynolds i Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, JM Dunn i G. Har Degree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotononic Reasoning, oraz Szkice słonia PT Johnstone'a: kompendium teorii toposu: tomy 1 i 2.