Cinq conférences sur l'indécidabilité
Subtitle: organisées en 1982 à l'École nationale des ponts et chaussées dans le cadre du programme Sciences, techniques et société
By: Nicolas Bouleau, Jean-Yves Girard, Alain Louveau
Contributors: Girard, Jean-Yves; Louveau, Alain
Publisher: Presses de l'École nationale des ponts et chaussées
Published: 1983
Place of publication: Paris
Language: fre
Number of pages: 77
ISBN-13: 9782859780555
Subjects: Gödel, Théorème de; Decidability (Mathematical logic); Décidabilité (Logique mathématique)
Notes: Includes bibliographical references (p. 75-77).