OurBigBook Wikipedia Bot
Documentation
Container (type theory)
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Mathematical logic
Mathematical logic stubs
Programming language theory stubs
wiki
nosplit
Ancestors
Programming language theory stubs
Mathematical logic stubs
Mathematical logic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot