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:
Matemáticas intuicionistas
Mostrar filtros (1)
Materias:
Matemáticas intuicionistas
Inicio
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Matemáticas intuicionistas
Lógica matemática
1
Lógica simbólica
1
Matemáticas constructivas
1
Teoría axiomática de conjuntos
1
Teoría de la recursividad
1
Teoría de modelos
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
Intuitionistic logic, model theory and forcing
por
Fitting, Melvin, 1942-
Publicado 1969
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
2
The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A
Publicado 1980
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
3
Intuitionism and proof theory proceedings of the summer conference at Buffalo N.Y. 1968
Publicado 1970
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
4
The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
Publicado 1982
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro
Cargando…
5
Automated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics
por
Wallen, Lincoln A.
Publicado 1990
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 Deusto
5
Formato
Libro
5
Idioma
Inglés
5
Autor
Barwise, Jon
1
Brouwer, L. E. J. (Luitzen Egbertus Jan)
1
Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966
1
Conference on Intuitionism and Proof Theory
1
Dalen, D. van (Dirk)
1
Dalen, D. van (Dirk), 1932-
1
Fitting, Melvin
1
Fitting, Melvin, 1942-
1
Keisler, H. Jerome
1
Kino, A.
1
Kleene Symposium
1
Kleene, Stephen Cole
1
Kleene, Stephen Cole, 1909-1994
1
Kunen, Kenneth
1
L. E. J. Brouwer Centenary Symposium
1
Myhill, John
1
Troelstra, A. S. (Anne Sjerp)
1
Vesley, Richard Eugene
1
Vesley, Richard Eugene, 1932-
1
Wallen, Lincoln A.
1
ver todos…
Editor
North-Holland
4
MIT
1
Género
Congresos y asambleas
3
Año de Publicación
De:
a: