Mathematics And Logic Entries
- Alfred Tarski: The Father of Modern Logic — A Polish logician and mathematician who reshaped the foundations of mathematics
- Intuitionistic Type Theory — A Foundational Framework for Mathematics and Computer Science
Browse A–Z
A · B · C · D · E · F · G · H · I · J · K · L · M · N · O · P · Q · R · S · T · U · V · W · X · Y · Z · 0-9