Stav dette: Conference in Mathematical logic, London 70