Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 159
Titolo Data di pubblicazione Autore(i) File
Robinson consistency theorem in soft model theory 1979 D.Mundici
Natural limitations of algorithmic procedures in logic 1980 D. Mundici
An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem, 1981 D. MUNDICI
ROBINSON'S CONSISTENCY THEOREM IN SOFT MODEL THEORY 1981 D. MUNDICI
Craig's interpolation theorem in computation theory 1981 D.Mundici
IRREVERSIBILITY, UNCERTAINTY, RELATIVITY AND COMPUTER LIMITATIONS 1981 D. MUNDICI
A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes 1981 D.MUNDICI
Ergodic undefinability in set theory and recursion theory 1981 D. MUNDICI
Applications of many-sorted Robinson consistency theorem 1981 D. Mundici
INTERPOLATION, COMPACTNESS AND JEP IN SOFT MODEL THEORY 1982 D. MUNDICI
Complexity of Craig's interpolation 1982 D.Mundici
L-embedding, amalgamation and L-elementary equivalence 1982 D.Mundici
NP AND CRAIG'S INTERPOLATION THEOREM 1982 D. MUNDICI
Compactness, interpolation and Friedman's third problem 1982 D. MUNDICI
Duality between logics and equivalence relations 1982 D. MUNDICI
Compactness = JEP in any logic, 1983 D. MUNDICI
NATURAL LIMITATIONS OF DECISION PROCEDURES FOR ARITHMETIC WITH BOUNDED QUANTIFIERS 1983 D. MUNDICI
Delta-tautologies, uniform and nonuniform upper bounds in computation theory 1983 D.Mundici
A LOWER BOUND FOR THE COMPLEXITY OF CRAIG'S INTERPOLANTS IN SENTENTIAL LOGIC 1983 D. MUNDICI
A generalization of abstract model theory 1984 D. MUNDICI
Mostrati risultati da 1 a 20 di 159
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile