Π
ไปยังการนำทาง
ไปยังการค้นหา
แม่แบบ:Character info แม่แบบ:Character info/var แม่แบบ:Also/auto
ภาษาร่วม
รากศัพท์ 1
ตัวอักษร
รากศัพท์ 2
สัญลักษณ์
- แม่แบบ:Lb ผลคูณ, บางครั้งใช้เพื่อความสะดวกแทน แม่แบบ:L
- แม่แบบ:Lb A class (in some hierarchy of formulae, like the arithmetical hierarchy or polynomial hierarchy) of those formulae whose outermost quantifiers are universal quantifiers.