Eugen Mihăilescu

• Logica matematică
• Sisteme logice și forme normale în calculul propozițional bivalent