Reductive Logic and Proof-search - 9780198526339

See raamat on spetsialiseerunud monograafia reduktiivse loogika ja tõestusotsingu matemaatilise ja arvutusliku metateooria arengust, mis on arvutiteaduses oluliseks muutumas loogikavaldkonnad. Süstemaatiline alustekst nendel esilekerkivatel teemadel, see sisaldab tõestusteoreetilisi, semantilisi/mudeliteoreetilisi ja algoritmilisi aspekte. Ulatus ulatub kontseptuaalsest taustast reduktiivse loogikani, läbi selle matemaatilise metateooria kuni selle tänapäevaste rakendusteni arvutusteadustes. See sobib teadlastele ja kraadiõppuritele matemaatilise, arvutusliku ja filosoofilise loogika ning teoreetilise arvutiteaduse ja tehisintellekti alal. See on maineka maailmakuulsa Oxfordi loogikajuhendi uusim versioon, mis sisaldab Michael Dummeti teost Intuitionismi elemendid (2. väljaanne), Dov. M. Gabbay, Mark A. Reynolds ja Marcelo Fingeri ajalise loogika matemaatilised alused ja arvutuslikud aspektid, JM Dunn ja G. Hardegree algebralised meetodid filosoofilises loogikas, H. Rotti muutus, valik ja järeldused: uurimus uskumuse ja mitterevisjoni kohta. ja PT Johnstone'i visandid elevandist: Topose teooria kogumik: 1. ja 2. köide.