Résultat de la recherche
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
Anglais
17.10.2017
Livre de poche
épuisé
Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
Anglais
06.11.2013
Livre de poche
épuisé