Search Results
Showing 1 - 8 of 8 results
Search Results
Decision problems for equational theories of relation algebras
Joyner Library
- General Stacks
Call Number:
QA3 .A57 NO. 604
A formalization of set theory without variables
Joyner Library
- General Stacks
Call Number:
QA248 .T37 1987
The structure of relation algebras generated by relativizations
Joyner Library
- General Stacks
Call Number:
QA10 .G58 1994