Informal and absolute provability: from Kreisel and Gödel to Prawitz and Girard
| Autor: | Piccolomini d'Aragona, Antonio, Catta, Davide |
|---|---|
| Přispěvatelé: | La Sapienza, Università degli Studi di Roma 'La Sapienza' [Rome], Aix Marseille Université (AMU), Centre d'EPistémologie et d'ERgologie Comparatives - UMR 7304 (CEPERC), Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU), Université d'Utrecht, Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
[SHS.HISPHILSO]Humanities and Social Sciences/History
Philosophy and Sociology of Sciences [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] [SHS.PHIL]Humanities and Social Sciences/Philosophy [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] [SHS.LANGUE]Humanities and Social Sciences/Linguistics ComputingMilieux_MISCELLANEOUS |
| Popis: | International audience |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|