Catégories
> 03-XX Mathematical logic and foundations > 03FXX Proof theory and constructive mathematics > 03F40 Gödel numberings in proof theory
03F40 Gödel numberings in proof theory
catégorie vide
> 03-XX Mathematical logic and foundations > 03FXX Proof theory and constructive mathematics > 03F40 Gödel numberings in proof theory
Centre Régional de Documentation Mathématique
Accueil
Sélection de la langue
Adresse
Centre Régional de Documentation Mathématique2 rue de la Houssinière, BP 92208
44322 NANTES
France
(33) 02 51 12 59 02
contact
Horaires
Lundi au vendredi :
9h - 17h30
plan lombarderie
