Showing below up to 2 results in range #1 to #2.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)
- Model theoretic methods in proof theory (1 link)
- Model theory of strong fragments of arithmetic (1 link)
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)