Jump to main content

yr 〜
yr

Search results 13

Logic as algebra

Logic as algebra
Paper図書
Paul Halmos, Steven GivantAmerican Mathematical Society2019
Other Libraries in Japan
  • Author HeadingHalmos, P. R. (Paul Richard) Givant, Steven R.

Introduction to relation algebras

Introduction to relation algebras
Paper図書
Steven GivantSpringerc2017
Other Libraries in Japan
  • Author HeadingGivant, Steven R.

Advanced topics in relation algebras

Advanced topics in relation algebras
Paper図書
Steven GivantSpringerc2017
Other Libraries in Japan
  • Author HeadingGivant, Steven R.

Relation algebras

Relation algebras
Paper図書
Steven GivantSpringerc2017
Other Libraries in Japan
  • Author HeadingGivant, Steven R.

Duality theories for Boolean algebras with operators

Duality theories for Boolean algebras with operators
Paper図書
Steven GivantSpringerc2014
Other Libraries in Japan
  • Author HeadingGivant, Steven R.

Introduction to boolean algebras : pbk.

Introduction to boolean algebras : pbk.
Paper図書
Steven Givant, Paul HalmosSpringerc2010
Other Libraries in Japan
  • Author HeadingGivant, Steven R. Halmos, P. R. (Paul Richard)

Introduction to boolean algebras : pbk.

Introduction to boolean algebras : pbk.
Paper図書
Steven Givant, Paul HalmosSpringerc2009
Other Libraries in Japan
  • Author HeadingGivant, Steven R. Halmos, P. R. (Paul Richard)

Collected papers / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie, editors. (Contemporary mathematicians)

Collected papers / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie, editors. (Contemporary mathematicians)
Paper図書
Birkhäuser1986.<MA21-A26>
National Diet Library
  • Author HeadingTarski, Alfred. Givant, Steven R. McKenzie, Ralph.

Logic as algebra

Logic as algebra
Paper図書
Paul Halmos, Steven GivantMathematical Association of Americac1998
Other Libraries in Japan
  • Author HeadingHalmos, P. R. (Paul Richard) Givant, Steven R.

Decision problems for equational theories of relation algebras

Decision problems for equational theories of relation algebras
Paper図書
Hajnal Andréka, Steven Givant, István NémetiAmerican Mathematical Society1997
Other Libraries in Japan
  • Author HeadingAndréka, H Givant, Steven R. Németi, I

The structure of relation algebras generated by relativizations

The structure of relation algebras generated by relativizations
Paper図書
Steven R. GivantAmerican Mathematical Societyc1994
Other Libraries in Japan
  • Author HeadingGivant, Steven R.

A formalization of set theory without variables

A formalization of set theory without variables
Paper図書
by Alfred Tarski and Steven GivantAmerican Mathematical Societyc1987
Other Libraries in Japan
  • Author HeadingTarski, Alfred Givant, Steven R.

Collected papers : set : sz v. 1. : sz v. 2. : sz v. 3. : sz v. 4. : sz : set : us v. 1. : us v. 2. : us v. 3. : us v. 4. : us

Collected papers : set : sz v. 1. : sz v. 2. : sz v. 3. : sz v. 4. : sz : set : us v. 1. : us v. 2. : us v. 3. : us v. 4. : us
Paper図書
Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie, editorsBirkhäuser1986
Other Libraries in Japan
  • Author HeadingMcKenzie, Ralph N. Tarski, Alfred Givant, Steven R.

Reached to the end of result.

RSS