Extending Classical Logic with Inductive Definitions (2000)

by Marc Denecker
Citations:58 - 38 self