Roger Martin (logicien)
# Roger Martin (logicien)

Roger Martin (17 mars 1920 - 16 novembre 1979) est un logicien français.

## Biographie

* 17 mars 1920: naissance au Puy.
* lycée Henry-IV
* lycée Buffon
* concours d'entrée à l'École normale supérieure
* 1943 : diplôme de bibliothécaire
* 1944 : agrégation de philosophie
* 1945-1947 : professeur de philosophie au lycée de Besançon
* 1945-1950 : assistant à la faculté des lettres de Besançon
* licence de mathématiques.
* 1950-1964: bibliothécaire en chef de l'École normale supérieure.
* 1964: soutenance de sa thèse sous la direction de René Poirier
* 1964-1979 : professeur de logique à la Sorbonne devenue Paris-V
* 1976 : cofondateur de la Société française de logique.
* 16 novembre 1979 : mort à Paris

## Œuvres

Logique contemporaine et formalisation, 1964, PUF.

## Prix

Prix Jean-Cavaillès, 1964.

