Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
Karen Lange
Richard A. Shore
Denis R. Hirschfeldt
Decidability (Mathematical Logic) Symbolic And Mathematical Logic
No items found
Try changing the filters
Try changing the filters