Proofs in theories - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Lectures Year : 2022

Proofs in theories

Fichier principal
Vignette du fichier
pit.pdf (645.71 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04057037 , version 1 (03-04-2023)


  • HAL Id : hal-04057037 , version 1


Gilles Dowek. Proofs in theories. Master. France. 2022, pp.154. ⟨hal-04057037⟩
237 View
156 Download


Gmail Mastodon Facebook X LinkedIn More