Gaishi Takeuchi

Country :Japon
Language :japonais
Gender :masculin
Note :
Ecrit aussi en anglais
Mathématicien. - En poste, University of Illinois, Urbana (1966-1996)
Variant of the name :Gaisi Takeuti
ISNI :ISNI 0000 0001 0909 2712

Occupations

Auteur du texte3 documents

  • Memoirs of a proof theorist

    Gödel and other logicians

    Rev. ed
    Material description : XVIII-135 p.
    Note : Note : Trad. du japonais : "Gödel", Tokyo : Nippon Hyoron Sha, 1986. - Notes bibliogr.
    Edition : River Edge (N. J.) ; London ; Singapore [etc.] : World Scientific , cop. 2003
    Traducteur : Nicholas Passell, Mariko Yasugi

    disponible en Haut de Jardin

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb39002630p]
  • Proof theory

    Material description : VII-372 p.
    Note : Note : Index
    Edition : Amsterdam ; Oxford : North-Holland ; New York : American Elsevier , 1975

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35394066b]
  • Two applications of logic to mathematics

    Material description : VIII-137 p.
    Note : Note : Notes bibliogr. en fin de chapitres. Index
    Edition : Tokyo : Iwanami Shoten ; Princeton, N.J. : Princeton university press , 1978

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35398401t]

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

  • This experimenting space presents innovating visualizations of data.bnf.fr data: diagrams, timelines, maps. This data is available and freely usable (Open license), in RDF or JSON.

Sources and references

Sources

  • Documents by this author : Memoirs of a proof theorist : Gödel and other logicians / Gaisi Takeuti; translated by Mariko Yasugi, Nicholas Passell, 2003
  • Ouvrages de reference : NDL Authority File, 1991
  • Catalogues de la BnF : BN Service japonais

Variant of the name

  • Gaisi Takeuti

Closely matched pages