Loogika meetodid
Tavaline hind
€34,95
Ühiku hind
/
Ei ole saadaval
Quine'i laialdaselt kasutatav moodsa formaalse loogika õpik pakub nüüd mitmeid uusi funktsioone: ajakohastatud tähistusi, valikulisi vastuseid ülesannetele, loomuliku deduktsiooni laiendatud käsitlust ning uusi arutelusid predikaat-funktorloogika ja kõrgema hulgateooria ning terminite elementaarloogika vaheliste seoste üle.
Loogika meetodid