„Volumul de față este o versiune mult revizuită a capitolului de logică matematică din Rudeanu [1991]. Propunem o construcție în două etape a calculului predicatelor și a calculului propozițiilor. Prima etapă constă dintr-o abordare axiomatică a limbajului și a semanticii calculului predicatelor. Cadrul axiomatic este furnizat de algebra universală multisortată. În acest cadru definim termeni de diverse sorturi, precum și formule. În continuare distingem două noțiuni semantice principale, pe care le numim interpretare și realizare. Prima noțiune revine la faptul că termenii și formulele sunt interpretate ca operații și respectiv relații ale unui domeniu de interpretare (o relație este o funcție cu argumentele în domeniul de interpretare și cu valori O, 1 sau, mai general, cu valori în mulțimea valorilor de adevăr ale unei logice polivalente). O realizare înseamnă că în operațiile care interpretează termenii și formulele, variabile sunt înlocuite cu valori din domeniul de interpretare, ceea ce în final transformă termenii și formulele în elemente ale domeniului și respectiv valori de adevăr. Teoria astfel construită poate fi aplicată oricărei logici, bivalente sau polivalente (i.e., cu două valori de adevăr sau mai multe), monosortate sau multisortate.”