69Tagebuch 31. XII. 1964 – 31. XII. 1965 [Rudolf Carnap: Tagebücher], Eintrag Mi 31. III. 1965

Mi 31 An Pr. (anstelle meiner gestrigen Überlegung über Modifikation von Hint. Methode lieber eine andere: Modifikation der \(\lambda{}\)-Methode so, dass Symbol auch abhängig ist von der Anzahl Symbol der ungesicherten Attribute im Muster.)

IV / 1965