Title: Jedynkowe systemy aksjomatyczne
Subjects: Symbolic and mathematical Logic