DMCA

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

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