↓ Skip to main content

Incompleteness for Higher-Order Arithmetic

Overview of attention for book
Attention for Chapter 3: The Boldface Martin-Harrington Theorem in $$\mathsf{Z_2}$$
Altmetric Badge

Citations

dimensions_citation
4 Dimensions