Mostrando
1 - 2
Resultados de
2
Para Buscar '
Truss, J. K.
'
Saltar al contenido
Login
Menu
0
elementos
(Completo)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Idioma
Inglés
Español
Francés
Galego
Términos de búsqueda
Todos los Campos
Título
Autor
Tema
Clasificación
ISBN/ISSN
Etiqueta
Buscar
Búsqueda Avanzada
Autor
Truss, J. K.
Skip recommendations
Mostrando
1 - 2
Resultados de
2
Para Buscar '
Truss, J. K.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
Herramientas de búsqueda:
Suscríbete a esta búsqueda
1
Cargando…
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Publicado 1999
Otros Autores:
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo
Electrónico
Congresos, conferencias
eBook
Código QR
2
Cargando…
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Publicado 1999
Otros Autores:
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo
Electrónico
Congresos, conferencias
eBook
Código QR
Temas relacionados
Bewijstheorie
Logica
Lógica matemática (congressos)
MATHEMATICS
Verzamelingen (wiskunde)
Berekenbaarheid
Computable functions
Congrès
Ensembles, Théorie des
Fonctions calculables
General
Infinity
Logic
Logic, Symbolic and mathematical
Logique symbolique et mathématique
Preuve, Théorie de la
Proof theory
Set theory
Systèmes informatiques
Teoria dos conjuntos (congressos)
Teoria dos modelos (congressos)
Théorie de la preuve
Théorie des ensembles