Branislav Boričić (autor)
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;
