Sfoglia per Autore
Su alcuni recenti sviluppi della Logica: temi e problemi della teoria delle definizioni ricorsive
1976 A. CANTINI
Una nota sulla concezione semi-intuizionistica della matematica
1978 A. CANTINI
On non-archimedean structures of D.Klaua
1979 A. CANTINI
I fondamenti della matematica
1979 A.Cantini
A note on three valued logic and Tarski's theorem on truthdefinitions
1980 A. Cantini
Tarski extensions of theories
1981 A.Cantini
Una teoria della predicatività secondo Poincaré
1981 A. CANTINI
Non-extensional theories of predicative classes over PA,
1982 A. CANTINI
Remarks on predicative theories of classifications
1982 A. Cantini
A note on the theory of admissible sets with epsilon-induction restricted to formulas with one quantifiers and related systems
1983 A. CANTINI
Proprietà e Operazioni
1983 A. CANTINI
Sigma-modelli di sottoteorie di KPI
1983 A. Cantini
A remark on dependent choice and comprehension principles in second order arithmetic
1984 A. Cantini
The Veblen Hierarchy and the stability theorem for L
1985 A. Cantini
On weak theories of sets and classes which are based on strict$Pi_1^1$-reflection
1985 A.Cantini
Majorizing provably recursive functions in fragments of PA
1985 A.Cantini
A note on a predicatively reducible theory of iterated elementary induction
1985 A. CANTINI
On the relation between choice and comprehension principles in second order arithmetic
1986 A. CANTINI
On the proof theory of weak Koenig's lemma
1986 A. CANTINI
Su una teoria generale delle proprietà basata su schemi dicomprensione iterati e privi di tipi
1987 A.Cantini
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