MathLib
LibMeta
Graph RAG
Lab
Blog
About
Team
RU
EN
LibMeta
/
Takeuti G.
Encyclopedia of Math
Person
Takeuti G.
http://libmeta.ru/resource/mathenc/author/a2339
Входящие связи
← author · 2
Axiomatic set theory
Two applications of logic to mathematics, Tokyo