Logic and proof
OPIS KNJIGE:
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 preferencija.
Ovaj naslov je trenutno RASPRODAT
Kupci koji su kupili ovu knjigu kupili su i:
Cena: 1.650 rsd
Cena: 2.700 rsd
Cena: 2.500 rsd
Cena: 2.750 rsd
Cena: 4.900 rsd
Cena: 1.980 rsd
Cena: 1.980 rsd
Cena: 2.500 rsd
Cena: 880 rsd
Cena: 880 rsd
Cena: 12.607 rsd
Cena: 2.500 rsd
Cena: 2.950 rsd
Cena: 1.199 rsd
Knjige istog pisca
Cena: 990 rsd
Cena: 5.900 rsd
Cena: 440 rsd
Cena: 1.650 rsd
Cena: 499 rsd
Cena: 4.546 rsd
Cena: 699 rsd
Cena: 440 rsd
Cena: 1.099 rsd
Cena: 333 rsd
Cena: 610 rsd
Cena: 285 rsd
Cena: 399 rsd
Cena: 1.299 rsd