Date : 2004
Editeur / Publisher : Mineola, NY : Dover Publications , 2004
Type : Livre / Book
Langue / Language : anglais / English
ISBN : 0-486-43228-9
ISBN : 978-0-486-43228-1
Gödel, Théorème de
Métamathématique
Décidabilité (logique mathématique)
Classification Dewey : 511.3