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: 599 rsd
Cena: 571 rsd
Cena: 633 rsd
Cena: 2.295 rsd
Cena: 899 rsd
Cena: 700 rsd
Cena: 499 rsd
Cena: 2.400 rsd
Cena: 770 rsd
Cena: 599 rsd
Cena: 4.173 rsd
Cena: 1.299 rsd
Cena: 599 rsd
Cena: 1.760 rsd