A Logic for Non-Monotone Inductive Definitions

ebook img
Author:Marc Denecker
File size:0.48 MB

Similar A Logic for Non-Monotone Inductive Definitions