Extending Classical Logic with Inductive Definitions (2000)

by Marc Denecker
Citations:68 - 45 self