[c] [1.0.42] [r] [a] Cagnoni, Donatella (ed.)
Teoria della dimostrazione
Feltrinelli
[SC/10 - Readings 22]
Milano 1981.04
CL: 87022 #matematica #logica ig01#matematica ig01#logica
ig02#matematica ig02#logica
Privacy Policy
[c] CRONOLOGIA:
1900
1900
2000
2000
1950
2050
Cagnoni, Donatella ( - 1979 )
Cagnoni, Donatella ( - 1979 )
Cagnoni, Donatella
Bozzi, Silvio ( - )
Bozzi, Silvio ( - )
Bozzi, Silvio
Meloni, Gian Carlo ( - )
Meloni, Gian Carlo ( - )
Meloni, Gian Carlo
Hilbert, David ( 1862.0123 - 1943.0214 )
https://en.wikipedia.org/wiki/David_Hilbert
Hilbert, David
Gentzen, Gerhard Karl Erich ( 1909.1124 - 1945.0804 )
https://it.wikipedia.org/wiki/Gerhard_Gentzen
Gentzen, Gerhard Karl Erich
Gödel, Kurt ( 1906.0428 - 1978.0114 )
https://it.wikipedia.org/wiki/Kurt_G%C3%B6del
Opere di Gödel, Kurt ( 1906.0428 - 1978.0114 )
Gödel, Kurt
Prawitz, Dag ( 1936 - )
https://it.wikipedia.org/wiki/Dag_Prawitz
Prawitz, Dag
Martin-Löf, Per Erik Rutger ( 1942.0508 - )
https://en.wikipedia.org/wiki/Per_Martin-L%C3%B6f
Martin-Löf, Per Erik Rutger
Mann, C. R. ( - )
Mann, C. R. ( - )
Mann, C. R.
1762.0123
2119.0906
1981.04
Generato il giorno: 2019-09-06T17:48:24+02:00 (Unix Time: 1567784904) Precedente aggiornamento il giorno: 2019.0511 Prima registrazione il giorno: 2019.0511 Aggiornato 2 volte Dimensione approssimata della pagina: 13952 caratteri (body: 12450) Versione: 1.0.42
Privacy Policy