{"product_id":"ischisleniq-wyskazywanij-i-ischisleniq-sekwencij-von-sergej-gurow","title":"Ischisleniq wyskazywanij i ischisleniq sekwencij","description":"\u003cp\u003ePredlagaemaq kniga prednaznachena dlq chitatelej s matematicheskim skladom uma,   nachinaüschih izuchat' matematicheskuü logiku kak w ramkah uchebnogo kursa, tak i   pri samoobrazowanii.  Pri izlozhenii materiala w dannom posobii podchörkiwaütsq algebraicheskie aspekty logicheskih ischislenij.  Izlozheny metody harakterizacii formul, podrobno rassmotreny gil'bertowskie  ischisleniq, sistema natural'nogo wywoda i ischislenie sekwencij.  Dlq kazhdoj iz tröh sistem dokazywaütsq korrektnost', polnota i analiziruütsq otlichitel'nye  osobennosti wywodow teorem.  Kniga soderzhit bol'shoe kolichestwo primerow, pozwolqüschih chitatelü legko oswoit'sq s wwodimymi  ponqtiqmi.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783659359019\"\u003e\u003ch3\u003eklassicheskaq logika\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783659359019","offer_id":39485416669277,"sku":"9783659359019","price":59.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/75f0920d-befd-4051-aff7-a58294e372e7.jpg?v=1773123399","url":"https:\/\/shop.autorenwelt.de\/products\/ischisleniq-wyskazywanij-i-ischisleniq-sekwencij-von-sergej-gurow","provider":"Autorenwelt Shop","version":"1.0","type":"link"}