Minimal Truth Predicate and Consistency for Free
Henri Galinon
- Fonction : Auteur
- PersonId : 740914
- IdHAL : henri-galinon
- ORCID : 0000-0002-0201-8197
- IdRef : 148621546
Format du dépôt | Notice |
---|---|
Type de dépôt | Communication dans un congrès |
Titre |
en
Minimal Truth Predicate and Consistency for Free
|
Auteur(s) |
Henri Galinon
1
1
IHPST -
Institut d'Histoire et de Philosophie des Sciences et des Techniques
( 1342 )
- 13 Rue du four
75006 PARIS
- France
|
Vulgarisation |
Non
|
Comité de lecture |
Oui
|
Actes |
Non
|
Invité |
Non
|
Langue du document |
Anglais
|
Date de production/écriture |
2010
|
Audience |
Non spécifiée
|
Titre du congrès |
PALMYR IX: Logic and the Use of Language
|
Date début congrès |
2010-06-28
|
Date fin congrès |
2010-06-29
|
Ville |
Amsterdam
|
Pays |
Pays-Bas
|
Domaine(s) |
|
Référence interne |
|
Mots-clés |
vi
truth
|
Loading...