Výsledky hledání pro autora

Obálka

Memoirs of a proof theorist : Gödel and other logicians /

Autor Takeuti, Gaisi, 1926-
Vydáno: 2003

Kniha

Obálka

Autor Takeuti, Gaisi, 1926-2017
Vydáno: 1975

Kniha

Obálka

Autor Takeuti, Gaisi, 1926-2017
Vydáno: 1987

Externí odkaz: Obsah knihy

Kniha

Obálka

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /

Vydáno: 1981

Další autoři: „... Takeuti, Gaisi, 1926-2017 ...“

Kniha