Bokus

Mariko Yasugi – författare

Visar alla böcker från författaren Mariko Yasugi. Handla med fri frakt och snabb leverans.

2 produkter

  1. DOWNEY ROD, Rod Downey, Ding Decheng, Tung Shih Ping, Qiu Yu Hui, Mariko Yasugi - PROCEEDINGS OF THE 7TH AND 8TH ASIAN LOGIC CONFERENCES, Inbunden. Tillgänglighet: Tillfälligt slut

    PROCEEDINGS OF THE 7TH AND 8TH ASIAN LOGIC CONFERENCES

    Av DOWNEY ROD, Rod Downey m. fl.

    Inbunden, 2003

    2643 kr

    Tillfälligt slut

    The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer …

  2. Mariko Yasugi, Nicholas Passell - MEMOIRS OF A PROOF THEORIST: GODEL & OTHER LOGICIANS, Inbunden. Tillgänglighet: Tillfälligt slut

    MEMOIRS OF A PROOF THEORIST: GODEL & OTHER LOGICIANS

    Av Mariko Yasugi, Nicholas Passell

    Inbunden, 2003

    1132 kr

    Tillfälligt slut

    This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K Gödel, Takeuti's personal recollections, and his interpretation of Gödel's attitudes towards mathematical logic. It also contains …