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: 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
Cena: 880 rsd
Knjige istog pisca
Cena: 879 rsd
Cena: 1.651 rsd
Cena: 590 rsd
Cena: 799 rsd
Cena: 499 rsd
Cena: 849 rsd
Cena: 1.000 rsd
Cena: 927 rsd
Cena: 1.980 rsd
Cena: 440 rsd
Cena: 605 rsd
Cena: 1.100 rsd
Cena: 1.635 rsd
Cena: 499 rsd