Diferencia entre revisiones de «Forma normal prenexa»
Contenido eliminado Contenido añadido
m r2.7.1) (robot Añadido: en:Prenex normal form |
m Syntaxfix Category: -> Categoría |
||
Línea 92:
* {{Citation | last1=Hinman | first1=P. | title=Fundamentals of Mathematical Logic | publisher=[[A K Peters]] | isbn=978-1-56881-262-5 | year=2005}}
[[
[[de:Pränexform]]
| |||