Affordable Access

Informal and absolute provability: from Kreisel and Gödel to Prawitz and Girard

Authors
  • Piccolomini d'Aragona, Antonio
  • Catta, Davide
Publication Date
Aug 24, 2020
Source
HAL-Descartes
Keywords
Language
English
License
Unknown
External links

Abstract

International audience

Report this publication

Statistics

Seen <100 times