Акција!
Logic and proof

Logic and proof

Цена за онлајн куповину преко поруџбенице без ПДВ-а (10%):

570,00 дин. 350,00 дин.
Цена за куповину у књижари са ПДВ-ом (10%): 350,00 дин.
Цена за иностране купце: 6,50 €
Број артикла: 1825
Каталошки подаци:
Шифра 1825
ИСБН 978-86-403-1096-3
Формат Меки повез, Б5
Број страна 154
Година издања 2011
Кратак садржај:

Књига покрива фундаменталне аспекте класичне и интуиционистичке логике са становишта теорије доказа. Основна идеја је да се елаборирају елементи синтаксних и семантичких особина класичног и интуиционистичког приступа математици, развијањем паралелизма између ова два приступа од почетка до краја самог текста. Делови књиге су такође посвећени неким некласичним логичким системима, међу којима су суперинтуиционистичке исказне логике, модалне логике, расплинуте логике и логике преференција.