The Church of Logic
Videos from The Church of Logic
Page 1 of 1 • 3 total videos
41:10
Synthetic Mathematics II: Exploring Intuitionistic Logic with Andrej Bauer 💡
The Church of Logic
50 views
47:26
Exploring Synthetic Mathematics with Andrej Bauer: Foundations & Intuitionistic Logic 🧮
The Church of Logic
101 views
9:53
Discover the Revolutionary Concept of Universal Machines 🤖
The Church of Logic
9 views