La contribution de Kolmogoroven logique intuitioniste
Book chapter, 2004

Author

Thierry Coquand

University of Gothenburg

Lhéritage de Kolmogorov en mathématiques

Subject Categories

Computer and Information Science

ISBN

978-2-7011-3669-1

More information

Latest update

12/13/2018