Logic and proof
Аутор:
Боричић др Бранислав
Цена за онлајн куповину преко поруџбенице без ПДВ-а (10%):
570,00 дин.
Нема на лагеру
Каталошки подаци:
Шифра 1825
ИСБН 978-86-403-1096-3
Формат Меки повез, Б5
Број страна 154
Година издања 2011
Кратак садржај:
Књига покрива фундаменталне аспекте класичне и интуиционистичке логике са становишта теорије доказа. Основна идеја је да се елаборирају елементи синтаксних и семантичких особина класичног и интуиционистичког приступа математици, развијањем паралелизма између ова два приступа од почетка до краја самог текста. Делови књиге су такође посвећени неким некласичним логичким системима, међу којима су суперинтуиционистичке исказне логике, модалне логике, расплинуте логике и логике преференција.
