Información General

• Autores: Joaquín Borrego Díaz (coord.) , Francisco José Salguero Lamillar (coord.)
• Editores: Kronos
• Año de publicación: 1997
• País: España
• Idioma: varios idiomas
• ISBN: 84-88620-08-X
• Texto completo no disponible (Saber más ...)

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Seleccionado

    Lower bounds for the complexity of arithmetic problems with integer inputs

    M. Aldaz, José Luis Montaña Arnaiz , J. E. Morais, Luis Miguel Pardo Vasallo

    págs. 3-8

    
  • Seleccionado

    Compactly expandable models of superstable theories

    Enrique Casanovas Ruiz-Fornells

    págs. 9-11

    
  • Seleccionado

    Some results on equality-free logic

    Enrique Casanovas Ruiz-Fornells , Pilar Dellunde Clave , Ramón Jansana Ferrer

    págs. 13-14

    
  • Seleccionado

    Definability of Leibniz equality

    Raimon Elgueta Montó, Ramón Jansana Ferrer

    págs. 15-17

    
  • Seleccionado

    Introduction to second-order models

    Ángel Nepomuceno Fernández

    págs. 19-27

    
  • Seleccionado

    Complexity in formalized arithmetic

    Panu Raatikainen

    págs. 29-30

    
  • Seleccionado

    Using modal logic to define strategies in model-based diagnosis

    Michael Schroeder , Peter Fröhlich, Wolfgang Nejdl

    págs. 31-33

    
  • Seleccionado

    The fourth great chrisis in the foundations of Mathematics

    Wagner Waneck Martins

    pág. 35

    
  • Seleccionado

    On end extensions of models of B(sigma)n

    C. Dimitracopoulos

    pág. 39

    
  • Seleccionado

    Omitting types in incomplete theories

    R. Farré

    pág. 41

    
  • Seleccionado

    Some results on (Delta)n(T)-induction

    Alejandro Fernández Margarit , Francisco Félix Lara Martín

    págs. 43-73

    
  • Seleccionado

    kappa-like models of Arithmetic

    Richard Kaye

    págs. 75-83

    
  • Seleccionado

    Model theory and algebraic geometry

    W. Hodges

    pág. 85

    
  • Seleccionado

    Modal representation in Henkin's non-standard second order logic

    María Gracia Manzano Arjona

    págs. 87-96

    
  • Seleccionado

    Mk es completa pero no definible en primer-orden

    Huberto Marraud

    págs. 97-112

    
  • Seleccionado

    Recursive models of weak fragments of arithmetic

    Margarita Otero Domínguez

    pág. 113

    
  • Seleccionado

    Quotients of symmetric groups

    Saharon Shelah, J. K. Truss i Català

    pág. 115

    
  • Seleccionado

    End and cofinal extensions in arithmetic

    Joaquín Borrego Díaz , Mario de Jesús Pérez Jiménez

    págs. 119-137

    
  • Seleccionado

    Formal methods in the actual philosophy of science

    María Carmen Hernández Martín

    págs. 139-145

    
  • Seleccionado

    Modelos para lógicas modales normales

    Francisco José Salguero Lamillar

    págs. 147-155