< Terug naar vorige pagina
Publicatie
Classifying phase transition thresholds for Goodstein sequences and Hydra games
Boekbijdrage - Hoofdstuk
Boek: Gentzen's centenary : the quest for consistency
Pagina's: 455 - 478
ISBN:9783319101026
Jaar van publicatie:2015
Toegankelijkheid:Closed