facil usa un select box:
Código:
<select name="diccionario">
<option value="1">Enciclopedia</option>
<option value="2">Diccionario Castellano</option>
<option value="3">Diccionario Ingles/Español</option>
<option value="4">Diccionario Español/Ingles</option>
</select>
asi ya cuando lo recibes via $_POST['nombre'] obtienes el numero 1, 2, 3 o 4.