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.
Uskoro u prodaji
Odaberite izdanje:
Kupci koji su kupili ovu knjigu kupili su i:

Cena: 32,00 eur

Cena: 26,36 eur

Cena: 25,00 eur

Cena: 9,08 eur

Cena: 13,63 eur

Cena: 17,27 eur

Cena: 23,00 eur

Cena: 10,00 eur

Cena: 15,00 eur

Cena: 14,00 eur

Cena: 13,00 eur

Cena: 9,00 eur

Cena: 9,00 eur

Cena: 9,00 eur
Knjige istog pisca

Cena: 3,44 eur

Cena: 5,00 eur

Cena: 6,35 eur

Cena: 9,09 eur

Cena: 4,54 eur

Cena: 9,99 eur

Cena: 25,36 eur

Cena: 7,26 eur

Cena: 7,33 eur

Cena: 12,72 eur

Cena: 13,64 eur

Cena: 7,26 eur

Cena: 8,17 eur

Cena: 7,09 eur








