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.
Cena: 900 rsd
potrebna količina:
Odaberite izdanje:
Kupci koji su kupili ovu knjigu kupili su i:

Cena: 997 rsd

Cena: 3.900 rsd

Cena: 1.425 rsd

Cena: 1.700 rsd

Cena: 1.000 rsd

Cena: 4.976 rsd

Cena: 3.100 rsd

Cena: 2.420 rsd

Cena: 2.700 rsd

Cena: 3.000 rsd

Cena: 3.600 rsd

Cena: 1.500 rsd

Cena: 1.076 rsd

Cena: 45.233 rsd
Knjige istog pisca

Cena: 1.230 rsd

Cena: 799 rsd

Cena: 740 rsd

Cena: 1.749 rsd

Cena: 249 rsd

Cena: 330 rsd

Cena: 599 rsd

Cena: 499 rsd

Cena: 599 rsd

Cena: 5.583 rsd

Cena: 149 rsd

Cena: 16.500 rsd

Cena: 3.480 rsd

Cena: 999 rsd