La contribution de Kolmogoroven logique intuitioniste
Book chapter, 2004
Author
Thierry Coquand
University of Gothenburg
Lhéritage de Kolmogorov en mathématiques
978-2-7011-3669-1 (ISBN)
Subject Categories
Computer and Information Science
ISBN
978-2-7011-3669-1