Mathematics of infinity (1990)

by P Martin-Löf
Venue:Computer Logic (COLOG-88). LNCS