Nissim Francez

Identifiers

• Open LibraryOL7044957A

Top Subjects

• Computer science (1)
• Logic design (1)
• Software engineering (1)
• Proof theory (1)
• Semantics (1)
• Symbolic and mathematical Logic (1)