Mostrando
1 - 5
Resultados de
5
Para Buscar '
'
Saltar al contenido
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Idioma
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Materias:
Cálculo de predicados
Mostrar filtros (1)
Materias:
Cálculo de predicados
Inicio
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Cálculo de predicados
Modalidad (Lógica)
2
Complejidad de cálculo (Informática)
1
Lenguaje y lógica
1
No resolubilidad (Lógica matemática)
1
Predicado (Lógica)
1
Tiempo (Lógica)
1
proceso de datos
1
Mostrando
1 - 5
Resultados de
5
Para Buscar '
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
The decision problem solvable classes of quantificational formulas
por
Dreben, Burton
Publicado 1979
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
2
The computational complexity of logical theories
por
Ferrante, Jeanne, 1949-
Publicado 1979
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
3
Model theory for modal logic Kripke models for modal predicate calculi
por
Bowen, Kenneth A.
Publicado 1979
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
4
Logic of The Future writings on existential graphs. 1, History and applications 1, History and applications /
por
Peirce, Charles S., 1839-1914
Publicado 2019
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
5
Worlds, times, and selves
por
Prior, Arthur N., 1914-1969
Publicado 1977
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
Herramientas de búsqueda:
RSS
–
Enviar por Correo electrónico esta Búsqueda
Atrás
Limitar resultados
Institución
Biblioteca Universidad de Navarra
4
Biblioteca Universidad de Deusto
1
Formato
Libro
5
Idioma
Inglés
5
Autor
Bowen, Kenneth A.
1
Dreben, Burton
1
Ferrante, Jeanne
1
Ferrante, Jeanne, 1949-
1
Fine, Kit
1
Goldfarb, Warren D.
1
Peirce, Charles S.
1
Peirce, Charles S., 1839-1914
1
Pietarinen, Ahti-Veikko
1
Prior, Arthur N.
1
Prior, Arthur N., 1914-1969
1
Rackoff, Charles W.
1
Rackoff, Charles W., 1948-
1
ver todos…
Editor
Addison-Wesley, Advanced Book Program
1
D. Reidel
1
De Gruyter
1
Duckworth
1
Springer
1
Año de Publicación
De:
a: