Return to Article Details Investigation of Monotonous Properties for Frege Systems Download Download PDF