عنوان
پدید آورنده
موضوع
رده
QA 3 .A475 no.604
QA
3
.
A475
no
.
604
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Decision problems for equational theories of relation algebras
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Providence, R. I.
Name of Publisher, Distributor, etc.
American Mathematical Society
Date of Publication, Distribution, etc.
c1997
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 126 p.: ill
SERIES
Other Title Information
Memoirs of the American Mathematical Society; no.406
GENERAL NOTES
Text of Note
"March 1997, volume 126, number 604"
Text of Note
Bibliography: p. 112-114
Text of Note
ISBN 0821805959
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Hajnal Andreka, Steven Givant, Istvan Nemeti
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Relation algebras
Entry Element
، Decidability )Mathematical logic(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
3
.
A475
no
.
604
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Andreka, Hajnal
Relator Code
AU
AU Givant, Steven Roger, 1943-
AU Nemeti, Istvan
TI
SE American Mathematical Society. Memoirs no.604
