Introducere in logica simbolica
Teodor Stihi

Lucrarea, destinata in primul rand studentilor - dar si cercetatorilor si cadrelor didactice, ofera o prezentare a fundamentelor calculului propozitional si calculului predicatelor (cele doua ramuri ale logicii simbolistice). Lectura nu presupune cunostinte anterioare, devenind astfel accesibila pentru oricine cauta raspuns la intrebarea: ce resorturi asigura coerenta gandirii noastre discursive? Prin dezvoltarea unor tehnici specifice (legate de teoria demonstratiei, validitate universala, axiomatica), cartea este interesanta, in egala masura, pentru un cititor mai avansat ce aspira la intelegerea dezvoltarii recente a acestui domeniu.