Logic and Proof
Author:
Boričić, Branislav
Publisher:
Ekonomski fakultet Univerziteta u Beogradu |
Language:
Srpski |
Year:
2011
Original title:
/ |
Num. of pages:
154 |
Dimensions:
24 cm
|
Cover:
/
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
Reviews
There are no reviews yet.