Réalisabilité classique Une introduction

Lire un extrait

Lire un extrait

Réalisabilité classique Une introduction

73

pages
Français
Documents
2011

Écrit par
Aloïs Brunel

Publié par
profil-urra-2012

73

pages
Français
Documents
2011

Lire un extrait

Lire un extrait

Description

Réalisabilité classique Une introduction Aloïs Brunel Vérité et Preuves - 11 Mars 2011 logique implicative minimale correspondance preuves-programmes arithmétique d'ordre supérieur bornes sur la complexité des programmes terminaison des programmes réalisabilité classique

Brunel

Publié par

profil-urra-2012
Publié le

01 mars 2011
Langue

Français