Gödel's logic

Mark van Atten; Juliette Kennedy

Chapitre d'ouvrage Année : 2009

Gödel's logic

(1) ,

1

Mark van Atten

Fonction : Auteur
PersonId : 11478
IdHAL : mark-van-atten
ORCID : 0000-0002-8097-5531
IdRef : 113308310

Institut d'Histoire et de Philosophie des Sciences et des Techniques

Juliette Kennedy

Fonction : Auteur

Mots clés

philosophy of mathematics

Domaines

Histoire, Philosophie et Sociologie des sciences

Liste complète des métadonnées

Format du dépôt	Notice
Type de dépôt	Chapitre d'ouvrage
Titre	es Gödel's logic
Auteur(s)	Mark van Atten ¹ , Juliette Kennedy 1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques ( 1342 ) - 13 Rue du four 75006 PARIS - France Université Paris 1 Panthéon-Sorbonne ( 7550 ) ; Département d'Etudes Cognitives - ENS Paris ( 91936 ) ; École normale supérieure - Paris ( 59704 ) ; Université Paris Sciences et Lettres ( 564132 ) Centre National de la Recherche Scientifique UMR8590 ( 441569 )
Vulgarisation	Non
Langue du document	Anglais
Date de production/écriture	2009
Titre de l'ouvrage	Handbook of the History of Logic
Audience	Non spécifiée
Date de publication	2009
Page/Identifiant	449-509
Domaine(s)	Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
Éditeur commercial	Elsevier
Éditeur scientifique	Gabbay, Dov Woods, John
Référence interne	LLPM
Mots-clés	en philosophy of mathematics

Mark Van Atten : Connectez-vous pour contacter le contributeur

https://shs.hal.science/halshs-00791003

Soumis le : jeudi 21 février 2013 à 13:59:31

Dernière modification le : vendredi 19 avril 2024 à 16:18:55

Dates et versions

halshs-00791003, version 1 (21-02-2013)

Identifiants

HAL Id : halshs-00791003 , version 1

Citer

Mark van Atten, Juliette Kennedy. Gödel's logic. Gabbay, Dov Woods, John. Handbook of the History of Logic, Elsevier, pp.449-509, 2009. ⟨halshs-00791003⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS1 ENS-PARIS CNRS IHPST HIPHISCITECH PSL

49 Consultations

0 Téléchargements

Dernière date de mise à jour le 28/04/2024

Gödel's logic

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager