×

Dragi čitaoci,

Posle 22 godine neprekidnog rada Knjizara.com će napraviti kraću pauzu.

U danima kada se svi nalazimo u riziku od pandemije korona virusa mislimo da je društveno najodgovornije na kratko vreme obustaviti sve aktivnosti. Verujemo da ova situacija neće dugo trajati i da ćemo se uskoro ponovo družiti sa knjigama.

Srdačan pozdrav, Knjizara.com

knjizara.com
Logic and Proof

Branislav Boričić (autor)

Logic and Proof
798 din
U korpu

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 pristupamatematici, 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čkeiskazne logike, modalne logike, rasplinute logike i logike preferencija.

Ostali naslovi koji sadrže ključne reči: Logika
Ostali naslovi iz oblasti: Matematika

Izdavač: Ekonomski fakultet Univerziteta u Beogradu; 2011; Broširani povez; latinica; 24 cm; 154 str.; 978-86-403-1096-3;