今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Relation Algebras
Givant, Steven
Logic As Algebra (Dolciani Mathematical Expositions, 21)
Halmos, Paul／Givant, Steven
The Structure of Relation Algebras Generated by Relativizations (Contemporary Mathematics)
Givant, Steven R.
A Formalization of Set Theory Without Variables (COLLOQUIUM PUBLICATIONS (AMER MATHEMATICAL SOC))
Tarski, Alfred／Givant, Steven
Decision Problems for Equational Theories of Relation Algebras (Memoirs of the American Mathematical Society)
Andreka, Hajnal／Givant, Steven R.／Nemeti, Istvan
Introduction to relation algebras
Steven Givant
Advanced topics in relation algebras
Steven Givant
Logic as algebra
Paul Halmos, Steven Givant
Introduction to boolean algebras
Steven Givant, Paul Halmos
Simple relation algebras
Steven Givant, Hajnal Andréka
1
2
