The hypothetical judgement in the history of intuitionistic logic

Mark van Atten

Communication dans un congrès Année : 2005

The hypothetical judgement in the history of intuitionistic 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

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	Communication dans un congrès
Titre	en The hypothetical judgement in the history of intuitionistic logic
Auteur(s)	Mark van Atten ¹ 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
Comité de lecture	Oui
Actes	Oui
Invité	Oui
Langue du document	Anglais
Date de production/écriture	2005
Audience	Non spécifiée
Titre du congrès	Symposium on the Philosophy of Mathematics
Date début congrès	2005-01-27
Ville	Rotterdam
Pays	Pays-Bas
Domaine(s)	Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
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-00791051

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

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

Dates et versions

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

Identifiants

HAL Id : halshs-00791051 , version 1

Citer

Mark van Atten. The hypothetical judgement in the history of intuitionistic logic. Symposium on the Philosophy of Mathematics, Jan 2005, Rotterdam, Netherlands. ⟨halshs-00791051⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS1 ENS-PARIS CNRS IHPST HIPHISCITECH PSL

56 Consultations

0 Téléchargements

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

The hypothetical judgement in the history of intuitionistic logic

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager