Lacombe, D. ThĂ©oremes de non-decidabilite. (French) Zbl 0154.25705 Semin. Bourbaki 16 (1963/64), No. 266, 41 p. (1964). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Keywords:mathematical logic PDFBibTeX XML Full Text: Numdam EuDML