Skip to main content

Author picture

Gaisi Takeuti

Author of Proof Theory

5 Works 113 Members 1 Review

About the Author

Includes the name: G. Takeuti

Works by Gaisi Takeuti

Proof Theory (1975) 48 copies, 1 review

Introduction to Axiomatic Set Theory (1971) 44 copies

Memoirs of a Proof Theorist: Gödel and Other Logicians (2003) 10 copies

Axiomatic set theory (1973) 7 copies

Two applications of logic to mathematics (1978) 4 copies

Tagged

borrowed (1) Box 7 (1) computer science (1) Consistency Problems. (1) Dino (1) E (1) Finite Order Systems (1) First Order Systems (1) foundations of mathematics (2) Henriksen (1) Infinitary Logic (1) lib:math.cas (1) logic (5) LS40 (1) math (10) mathematical logic (1) Mathematics/Logic (1) non-fiction (2) owned (1) partly read in 2010 (1) PDF (1) Peano arithmetic (1) proof theory (2) RF (2) Second Order (1) set theory (5) Set Theory and Logic (2) shelves (1) textbook (1) to-read (1)

Common Knowledge

Birthdate: 1926-01-25
Occupations: mathematician
Burial location: 2017-05-10

Members

Reviews

Featured Recent Thumbs

1 review

hernanvillamil 974 reviews

Proof Theory by Gaisi Takeuti

This textbook is devoted to the proof theory inspired by Gentian's work.

Dec 28, 2024Spanish

You May Also Like

Associated Authors

Wilson M. Zaring

Statistics

Works: 5
Members: 113
Popularity: #173,160
Rating: 4.0

Reviews: 1
ISBNs: 27
Languages: 1

Charts & Graphs

See More Charts & Graphs

Pictures

Links

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Helpers

Is This You?

Become a LibraryThing Author.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson