↓ Skip to main content

Axiomatic Thinking II

Overview of attention for book
Attention for Chapter 2: Simplified Cut Elimination for Kripke-Platek Set Theory
Altmetric Badge

Citations

dimensions_citation
3 Dimensions