TY - THES ID - 145777989 TI - Les théorèmes d'incomplétude AU - Hoyoux, Renaud AU - Hansoul, Georges PY - 2011 PB - [S.l.]: [chez l'auteur], DB - UniCat KW - Décidabilité (logique mathématique) KW - Logique mathematique KW - Theorie de la preuve KW - Logique mathematique KW - Theorie de la preuve UR - https://www.unicat.be/uniCat?func=search&query=sysid:145777989 AB - ER -