Аутор: Е. Џон Лемон
Страна: 383
► Остали детаљи

У овој књизи аутор првенствено има за циљ да, како студентима тако и наставницима, пружи применљиво знање о исказном и предикатском рачуну, који представљају основу модерне симболичке логике. У том контексту разматрају се конзистентност и потпуност оба рачуна, коњунктивна и дисјунктивна нормална форма, као и елементарна теорија класа. Посебна вредност ове књиге су енциклопедијски додаци посвећени модалној, поливалентној и деонтичкој логици и логичким парадоксима, као и глосар логичких термина и библиографија радова из математичке логике на српском језику