Metadata
Author: WikiMatrix
Data
English[en]
This book provides a good introduction and summary of the proof, with a large section dedicated to Gödel's numbering.
French[fr]
Ce livre contient une introduction et un résumé de la preuve, avec une grande section consacrée au codage de Gödel.