DMCA

Fundamental notions of analysis in subsystems of second-order arithmetic (2004)

by Jeremy Avigad , Ksenija Simic
Citations:2 - 1 self