Proof Theory
Francesca Poggiolesi
- Fonction : Auteur
- PersonId : 746359
- IdHAL : francesca-poggiolesi
F. Russo
- Fonction : Auteur
Jon Williamson
- Fonction : Auteur
Format du dépôt | Notice |
---|---|
Type de dépôt | Ouvrages |
Titre |
en
Proof Theory
|
Auteur(s) |
Francesca Poggiolesi
1
, F. Russo
, Jon Williamson
1
IHPST -
Institut d'Histoire et de Philosophie des Sciences et des Techniques
( 1342 )
- 13 Rue du four
75006 PARIS
- France
|
Vulgarisation |
Non
|
Langue du document |
Anglais
|
Date de production/écriture |
2010
|
Audience |
Non spécifiée
|
Date de publication |
2010
|
Page/Identifiant |
2
|
Domaine(s) |
|
Éditeur commercial |
|
Éditeur scientifique |
|
Référence interne |
|
Mots-clés |
it
logic
|
Loading...