Historique | Voir | Annoter | Télécharger (62 octet)
\section{A two-sorted arithmetic for the polynomial hierarchy}