Restructuring Logic
Por Camilo Arcaya • 12 mar, 2014 • Sección: FilosofíaJoachim Derichs
Abstract: The outline of a programme for restructuring mathematical logic. We explain what we mean by “restructuring” and carry out exemplary parts of the programme
arXiv:1403.2710v1 [math.LO]