Normal view
MARC view
- Decidabilidad (logica matematica)
Decidabilidad (logica matematica) (Término temático)
This authority is not used in any records.
See also:
- Broader heading: Funciones calculables
- Broader heading: Funciones recursivas
- Broader heading: Logica simbolica y matematica
- Broader heading: Teorema de godel
- Narrower heading: Funciones calculables
- Narrower heading: Funciones recursivas
- Narrower heading: Teorema de godel
LEMB
CD Subjet Headings / Library of Congress, 1996
LC Authorities / Library of Congress, (Jun,2003) Disponible en Internet: http://authorities.loc.gov
Lista de encabezamientos de materia de la Red de Bibliotecas del CSIC / CSIC, 1995