DMCA

V-Horn: a Horn-based second-order theory of arithmetic (2000)

by Antonina Kolokolova