Search Results for 'Foundedin'

Foundedin published presentations and documents on DocSlides.

theconsistencyofarithmetic,andcut-eliminationprocedurescanbeexpresseda

by conchita-marotz

3TheIntuitionisticTheoryofInductiveDenitionsInthe...