La contribution de Kolmogoroven logique intuitioniste
Kapitel i bok, 2004
Författare
Thierry Coquand
Göteborgs universitet
Lhéritage de Kolmogorov en mathématiques
978-2-7011-3669-1 (ISBN)
Ämneskategorier
Data- och informationsvetenskap
ISBN
978-2-7011-3669-1