Category:Categorical logic

Articles in category "Categorical logic"

There are 3 articles in this category.

C

• Categorical logic

S

• Stone's representation theorem for Boolean algebras

T

• Topos