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: 1.540 rsd

Cena: 1.430 rsd

Cena: 1.320 rsd

Cena: 990 rsd

Cena: 990 rsd

Cena: 990 rsd

Cena: 990 rsd

Cena: 990 rsd

Cena: 997 rsd

Cena: 3.900 rsd

Cena: 1.425 rsd

Cena: 1.700 rsd

Cena: 1.000 rsd

Cena: 4.976 rsd
Knjige istog pisca

Cena: 360 rsd

Cena: 2.750 rsd

Cena: 1.590 rsd

Cena: 3.887 rsd

Cena: 1.699 rsd

Cena: 349 rsd

Cena: 1.699 rsd

Cena: 463 rsd

Cena: 950 rsd

Cena: 499 rsd

Cena: 399 rsd

Cena: 699 rsd

Cena: 600 rsd

Cena: 1.540 rsd








