The proper interpretation of intuitionistic logic - Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

The proper interpretation of intuitionistic logic

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : halshs-00791547 , version 1

Citer

Mark van Atten, Göran Sundholm. The proper interpretation of intuitionistic logic. 1907-2007: One Hundred Years of Intuitionism, Jun 2007, Cerisy, France. ⟨halshs-00791547⟩
165 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More