It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by LeadSongDog
June 14, 2019 | History
Edit

Gaisi Takeuti

1926 -

9 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Introduction to axiomatic set theory

    First published in 1971 5 editions in 1 language — 2 previewable Cover of edition introductiontoax00zari
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proof Theory

    First published in 1975 3 editions in 1 language — 2 previewable Cover of edition prooftheory00take
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Axiomatic set theory

    First published in 1973 1 edition in 1 language — 1 previewable
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Memoirs of a proof theorist: Gödel and other logicians

    First published in 2003 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Sūgakuteki sekaikan: gendai sūgaku no shisō to tembō

    First published in 1982 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Two applications of logic to mathematics

    First published in 1978 1 edition in 1 language — 1 previewable
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proof Theory (Studies in Logic and the Foundations of Mathematics)

    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction to axiomatic set theory

    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction to axiomatic set theory

    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Gaisi Takeuti
Subjects
Axiomatic set theory, Symbolic and mathematical Logic, Mathematics, Proof theory, AXIOME CHOIX, Boolean Algebra, Ensembles, Théorie axiomatique des, Ensembles, Théorie des, Goedel, kurt, 1906-1978, Logic, symbolic and mathematical, MODELE GOEDEL, Mathematical Logic and Foundations, Mathematics, general, Mathematics, philosophy, Mengenlehre, THEORIE AXIOMATIQUE ENSEMBLE, Théorie ensemble
People
Kurt Gödel (1906-1978)

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL1188700A

Links (outside Open Library)

No links yet. Add one?

Alternative names

  • G. Takeuti

History

Download catalog record: RDF / JSON
June 14, 2019 Edited by LeadSongDog merge authors
August 19, 2008 Edited by an anonymous user fix author name
April 1, 2008 Created by an anonymous user initial import