trié(s) par (Pertinence décroissant(e), Titre croissant(e)) 

Les procédures de preuve sous le regard de l'historien des sciences et des techniques / Centre de recherche Analyse et théorie des savoirs (1992)

Public ISBD Titre : Les procédures de preuve sous le regard de l'historien des sciences et des techniques : actes du colloque de Lille, 11-13 avril 1991 Type de document : texte imprimé Auteurs : Centre de recherche Analyse et théorie des savoirs, Editeur scientifique ; Villeneuve-d'Ascq, Nord Groupe d'histoire des sciences et des techniques, Auteur Editeur : Paris : Société française d'histoire des sciences et des techniques Année de publication : 1992 Collection : Cahiers d'histoire et de philosophie des sciences. Nouvelle série, ISSN 0753-6712 num. 40 Importance : 339 p. Présentation : ill., couv. ill. Format : 23 cm ISBN/ISSN/EAN : PPN 002821419 Langues : Français (fre) Tags : Sciences -- Méthodologie -- Histoire -- Congrès  Preuve, Théorie de la -- Congrès  Raisonnement -- Congrès  Vérification (logique) -- Congrès  Proof theory -- Congresses  Science -- Methodology -- History -- Congresses Index. décimale : 511.3 Logique symbolique (mathématique) Note de contenu : Bibliogr. en fin de chapitre. Notes bibliogr. Les procédures de preuve sous le regard de l'historien des sciences et des techniques : actes du colloque de Lille, 11-13 avril 1991 [texte imprimé] / Centre de recherche Analyse et théorie des savoirs, Editeur scientifique ; Villeneuve-d'Ascq, Nord Groupe d'histoire des sciences et des techniques, Auteur . - Paris : Société française d'histoire des sciences et des techniques, 1992 . - 339 p. : ill., couv. ill. ; 23 cm. - (Cahiers d'histoire et de philosophie des sciences. Nouvelle série, ISSN 0753-6712; 40) . ISSN : PPN 002821419 Langues : Français (fre) Tags : Sciences -- Méthodologie -- Histoire -- Congrès  Preuve, Théorie de la -- Congrès  Raisonnement -- Congrès  Vérification (logique) -- Congrès  Proof theory -- Congresses  Science -- Methodology -- History -- Congresses Index. décimale : 511.3 Logique symbolique (mathématique) Note de contenu : Bibliogr. en fin de chapitre. Notes bibliogr.

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Nom du donateur
OCA-NI-003770	003770	N. isolés de périodiques	OCA Bib. Nice Mont-Gros	NI-Salle de lecture-Ouvrages	Disponible

---

1 (1 - 1 / 1)