Fork me on GitHub
Math for the people, by the people.

User login

1.1 Type theory versus set theory

Major Section: 
Collaboration
Type of Math Object: 
Feature
Groups audience: 

Mathematics Subject Classification

03B15 no label found

Subscribe to Comments for "1.1 Type theory versus set theory"