Steven R. Givant

Œuvres (2)

Couverture : The structure of relation algebras generated by relativizations

The structure of relation algebras generated by relativizations

1994
Couverture : A formalization of set theory without variables

A formalization of set theory without variables

1987