Reports

27/03/06 IHPST, Paris: Per Martin-Löf: Mathematical logic in relation to other parts of mathematics in the Soviet Union in the 1930's-1970's / 27/03/06 IHPST, Paris: Per Martin-Löf: Recollections of 40 years of research in logic