[c]
Cagnoni, Donatella (ed.)
Teoria della dimostrazione
Feltrinelli
[SC/10 - Readings 22]
Milano 1981.04
CL: 87022
Cover
#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