Skip to content

Transfinite Update Procedures for Predicative Systems of Analysis.

Federico Aschieri

VenueBCSL
Year2011
ProceedingsCSL

Browse the full CSL paper archive.