The Work Die formalen Regeln der intuitionistischen Logik The details The Author Arend Heyting The offers
