Proof theoretic semantics and feasibility
Jean Fichot
(1, 2)
Jean Fichot
- Fonction : Auteur
- PersonId : 1164792
- IdRef : 069531897
Format du dépôt | Notice |
---|---|
Type de dépôt | Chapitre d'ouvrage |
Titre |
en
Proof theoretic semantics and feasibility
|
Auteur(s) |
Jean Fichot
1, 2
1
UNICAEN -
Université de Caen Normandie
( 7127 )
- Esplanade de la Paix - CS 14032 - 14032 CAEN Cedex 5
- France
2
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 |
2013
|
Titre de l'ouvrage |
Computability and Constructivity
|
Audience |
Non spécifiée
|
Date de publication |
2013
|
Titre de la collection |
Logic, Epistemology, and the Unity of Science
|
Domaine(s) |
|
Éditeur commercial |
|
Éditeur scientifique |
|
Référence interne |
|
Mots-clés |
en
philosophy of science
|
Loading...