The Work On the Meanings of the Logical Constants and the Justifications of the Logical Laws The details The Author Per Martin-Löf The offers