CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 52
Titolo Data di pubblicazione Autore(i) File
Sul concetto di relazione in Leibniz 1-gen-1980 Moriconi, Enrico
Sulla completezza del calcolo dei predicati intuizionista 1-gen-1981 Moriconi, Enrico
Zur Frage der IV syllogistischen Figur in der “Dissertatio de arte combinatoria” 1-gen-1984 Moriconi, Enrico
Coerenza e completezza delle teorie elementari. La matetaeoria dei sistemi formali nella scuola hilbertiana 1-gen-1984 Moriconi, Enrico
La teoria della dimostrazione di Hilbert 1-gen-1988 Moriconi, Enrico
Esistenza e costruzione. Introduzione all’intuizionismo 1-gen-1988 Moriconi, Enrico
Una nota sul secondo e –teorema di D. Hilbert 1-gen-1989 Moriconi, Enrico
La teoria del significato di M. Dummett 1-gen-1992 Moriconi, Enrico
Dimostrazioni e significato. Michael Dummett – Dag Prawitz – Per Martin-Löf. 1-gen-1993 Moriconi, Enrico
Discorso e Significato. 1-gen-1994 Moriconi, Enrico
Sul ruolo delle regole di riduzione in teoria del significato 1-gen-1995 Moriconi, Enrico
Su una difesa dello Strumentalismo in filosofia della matematica 1-gen-1997 Moriconi, Enrico
Dummett e l’Anti-Realismo 1-gen-1997 Moriconi, Enrico
Etchemendy on logical truth 1-gen-1997 Moriconi, Enrico
How far to extend the Curry-Howard Isomorphism? 1-gen-1999 Moriconi, Enrico
Normalization and Meaning Theory 1-gen-2000 Moriconi, Enrico
Computabilità 1-gen-2001 Bellotti, Luca; Moriconi, Enrico; Tesconi, L.
Review of S. Shapiro Philosophy of Mathematics. Structure and Ontology 1-gen-2001 Moriconi, Enrico
L'incompletezza dell'aritmetica 1-gen-2001 Moriconi, Enrico
Tra coerenza e categoricità: una mappa delle nozioni logiche fondamentali 1-gen-2001 Moriconi, Enrico
Mostra risultati da 1 a 20 di 52
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