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

More information

Latest update

12/13/2018