encyclopedia
search
Categories
:
Mathematical logic
|
Category theory
|
Theoretical computer science
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
Categories
:
Mathematical logic
|
Category theory
|
Theoretical computer science
The contents of this article are licensed from
Wikipedia.org
under the
GNU Free Documentation License
.
How to see
transparent copy
01-29-2012 01:29:24
Search Online Encyclopedia
|
Browse Encyclopedia
|
Dictionary
|
Quotes
|
Legal info