Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
-
pocket
,
Engelsk, 2017