Generación de universos de Herbrand
response
Escribe la fórmula que deseas probar
(ver sintaxis)
:
Cuantos elementos quieres obtener del
Universo de Herbrand
?
(por defecto se imprimen 10)