Logic and Proof
Автор:
Boričić, Branislav
Издавач:
Ekonomski fakultet Univerziteta u Beogradu |
Јазик:
Srpski |
Година:
2011
Оригинален наслов:
/ |
Бр. на страни:
154 |
Димензии:
24 cm
|
Корица:
/
Knjiga pokriva fundamentalne aspekte klasične i intuicionističke logike sa stanovišta teorije dokaza. Osnovna ideja je da se elaboriraju elementi sintaksnih i semantičkih osobina klasičnog i intuicionističkog pristupa matematici, razvijanjem paralelizma između ova dva pristupa od početka do kraja samog teksta. Delovi knjige su takođe posvećeni nekim neklasičnim logičkim sistemima, među kojima su superintuicionističke iskazne logike, modalne logike, rasplinute logike i logike
Оценки
Сѐ уште нема оценки.