Tools

LEADER 01649cam 22003978a 4500

001 ocm35911862;

003 OCoLC;

005 20141212123519.0;

008 961105s1997 riua b 001 0 eng ;

010 a| 96037450;

020 a| 0821805959 (alk. paper);

035 a| (Sirsi) o35911862;

035 a| (OCoLC)35911862;

049 a| EREE;

050 00 a| QA3b| .A57 no. 604;

082 00 a| 510 sa| 511.3/242| 21;

100 1 a| Andréka, H.=| ^A314185;

245 10 a| Decision problems for equational theories of relation algebras /c| Hajnal Andréka, Steven Givant, István Németi.;

300 a| xiv, 126 pages :b| illustrations ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Memoirs of the American Mathematical Society ;v| no. 604;

500 a| "March 1997, volume 126, number 604 (end of volume).";

504 a| Includes bibliographical references (p. 112-114) and index.;

650 0 a| Relation algebras.=| ^A387376;

650 0 a| Decidability (Mathematical logic)=| ^A132062;

700 1 a| Givant, Steven R.=| ^A387377;

700 1 a| Németi, I.=| ^A387378;

830 0 a| Memoirs of the American Mathematical Societyv| no. 604.=| ^A638158;

590 a| Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, SEARCH BY CALL NUMBER QA3 .A57.;

596 a| 1;

998 a| 612405;

999 a| QA3 .A57 NO. 604w| LCc| 1i| 30372009944072d| 12/6/2012f| 12/6/2012g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 4/28/1997x| BOOKz| JSTACKSo| .STAFF. 0;

Decision problems for equational theories of relation algebras / Hajnal Andréka, Steven Givant, István Németi.

Author/creator	Andréka, H.
Other author	Givant, Steven R.
Other author	Németi, I.
Format	Book
Publication Info	Providence, R.I. : American Mathematical Society, ©1997.
Description	xiv, 126 pages : illustrations ; 26 cm.
Subjects	Relation algebras. Decidability (Mathematical logic)

Series	Memoirs of the American Mathematical Society ; no. 604 Memoirs of the American Mathematical Society no. 604. ^A638158
Local note	Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, SEARCH BY CALL NUMBER QA3 .A57.
General note	"March 1997, volume 126, number 604 (end of volume)."
Bibliography note	Includes bibliographical references (p. 112-114) and index.
LCCN	96037450
ISBN	0821805959 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA3 .A57 NO. 604	✔ Available	Place Hold

Decision problems for equational theories of relation algebras / Hajnal Andréka, Steven Givant, István Németi.

Click here for more information about this title

Availability