Sfoglia per Autore
Sui Sistemi Metaformali e le Progressioni Ricorsive di teorie
1978-01-01 Parlamento, Franco
Sulla Completezza della omega-regola
1979-01-01 Parlamento, Franco
Binumerability in a Sequence of Theories
1981-01-01 Parlamento, Franco
PRA Provability of Schmerl's Fine Structure Theorem
1984-01-01 Parlamento, Franco
Iterated Reflection Principles and Induction Principles over Primitive recursive Arithmetic
1984-01-01 Parlamento, Franco
Regole e Principi di di Induzioner Ristretti Relativi s PRA
1985-01-01 Parlamento, Franco
REFLECTION AND INDUCTION PRINCIPLES RELATIVE TO PRIMITIVE RECURSIVE ARITHMETIC
1986-01-01 Parlamento, Franco
Secision Procedures for Elementary Sublanguages of Set Theory XI. Unsolvability of the Decision Problem for a Restricted Subclass of the Delta_0-Formulas in Set Theory
1988-01-01 Parlamento, Franco; Policriti, Alberto
The Logically Simplest Form of the Infinity Axiom
1988-01-01 Parlamento, Franco; Policriti, Alberto
Truth Table for a Combinatorial Kernel of Set Theories
1990-01-01 Omodeo, E; Parlamento, Franco; Policriti, Alberto
A contribution to the Automated Treatment of Membership Theories
1990-01-01 Omodeo, E; Parlamento, Franco; Policriti, Alberto
Note on: The Logically Simplest Form of the Infinity Axiom
1990-01-01 Parlamento, Franco; Policriti, Alberto
logic and Logic Programming
1991-01-01 Parlamento, Franco
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability.
1991-01-01 Parlamento, Franco; Policriti, Alberto
Expressing Infinity without Foundation
1991-01-01 Parlamento, Franco; Policriti, Alberto
A derived algorithm for evaluating epsilon-expressions over abstract sets
1993-01-01 Omodeo, E; Parlamento, Franco; Policriti, Alberto
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory
1993-01-01 Parlamento, Franco; Policriti, Alberto
Decidability and Completeness for Open Formulas of Membership Theories
1995-01-01 Belle', D; Parlamento, Franco
Undecidability of weak membership theories
1996-01-01 Belle', D.; Parlamento, Franco
Decidability of the A*E* class in the theory NWL Notes in Logic n.6 183-194
1996-01-01 Belle', D.; Parlamento, Franco
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