Return to Article Details Независимая базируемость дедуктивных пропозициональных систем Download Download PDF