Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 115
Titolo Data di pubblicazione Autore(i) File
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
I fondamenti della matematica 1979 A.Cantini
On non-archimedean structures of D.Klaua 1979 A. CANTINI
A note on three valued logic and Tarski's theorem on truthdefinitions 1980 A. Cantini
Una teoria della predicatività secondo Poincaré 1981 A. CANTINI
Tarski extensions of theories 1981 A.Cantini
Non-extensional theories of predicative classes over PA, 1982 A. CANTINI
Remarks on predicative theories of classifications 1982 A. Cantini
Proprietà e Operazioni 1983 A. CANTINI
Sigma-modelli di sottoteorie di KPI 1983 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
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
A note on a predicatively reducible theory of iterated elementary induction 1985 A. CANTINI
Majorizing provably recursive functions in fragments of PA 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
Mostrati risultati da 1 a 20 di 115
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