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.250 rsd

Cena: 400 rsd

Cena: 1.499 rsd

Cena: 499 rsd

Cena: 907 rsd

Cena: 1.210 rsd

Cena: 5.427 rsd

Cena: 3.649 rsd

Cena: 2.200 rsd

Cena: 299 rsd

Cena: 27.986 rsd

Cena: 599 rsd

Cena: 1.958 rsd

Cena: 599 rsd