Extending Classical Logic with Inductive Definitions (2000)

by Marc Denecker
Citations:64 - 42 self