Ildikó Sain

• The Life and Work of Leon Henkin
• Universal Algebraic Logic