Cargando…

Cylindric algebras. Part II /

Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and vice-versa, and relationships with other algebraic versions of logic.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Henkin, Leon, Monk, J. Donald (James Donald), 1930- (Autor), Tarski, Alfred, 1901-1983 (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam : North-Holland Pub. Co., 1971-1985.
Colección:Studies in logic and the foundations of mathematics ; v. 115.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn316566829
003 OCoLC
005 20231117015242.0
006 m o d
007 cr cn|||||||||
008 090320s1985 ne ob 001 0 eng d
040 |a OPELS  |b eng  |e pn  |c OPELS  |d OPELS  |d OCLCQ  |d OCLCF  |d DEBBG  |d OCLCQ  |d COO  |d OCLCQ  |d OCLCA  |d DEBSZ  |d LEAUB  |d VLY  |d S2H  |d OCLCO  |d OCLCQ  |d OCLCO 
020 |a 9780444876799 
020 |a 0444876790 
035 |a (OCoLC)316566829 
050 4 |a QA9  |b .H415eb 
082 0 4 |a 511/.32  |2 22 
100 1 |a Henkin, Leon. 
245 1 0 |a Cylindric algebras.  |n Part II /  |c Leon Henkin, J. Donald Monk [and] Alfred Tarski. 
260 |a Amsterdam :  |b North-Holland Pub. Co.,  |c 1971-1985. 
300 |a 1 online resource 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Studies in logic and the foundations of mathematics ;  |v v. 115 
520 |a Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and vice-versa, and relationships with other algebraic versions of logic. 
504 |a Includes bibliographical references and indexes. 
588 0 |a Print version record. 
505 0 |a Front Cover; Cylindric Algebras; Copyright Page; Contents; CHAPTER 3. REPRESENTABLE CYLINDRIC ALGEBRAS; 3.1 Cylindric set algebras; 3.2 Representation theory; Problems; CHAPTER 4. NOTIONS OF LOGIC RELATED TO CYLINDRIC ALGEBRAS; 4.1 Model theory of cylindric algebras; 4.2 Decision problems; 4.3 Connections between logic and cylindric algebras; Problems; CHAPTER 5. OTHER ALGEBRAIC VERSIONS OF LOGIC; 5.1 Diagonal-free cylindric algebras; 5.2 Projective algebras; 5.3 Relation algebras; 5.4 Polyadic algebras; 5.5 Relativized cylindric algebras 
505 8 |a 5.6 Abstract algebraic logic and more algebraic logicsProblems; BIBLIOGRAPHY; I. Bibliography of cylindric algebras and related algebraic structures; II. Supplementary bibliography; INDEX OF SYMBOLS; INDEX OF NAMES AND SUBJECTS 
650 0 |a Cylindric algebras. 
650 6 |a Alg�ebres cylindriques.  |0 (CaQQLa)201-0070133 
650 7 |a Cylindric algebras  |2 fast  |0 (OCoLC)fst00886056 
700 1 |a Monk, J. Donald  |q (James Donald),  |d 1930-  |4 aut 
700 1 |a Tarski, Alfred,  |d 1901-1983.  |4 aut 
776 0 8 |i Print version:  |z 0720420431  |z 9780720420432  |w (DLC) 77126903  |w (OCoLC)166945 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 115. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444876799  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=115  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/115  |z Texto completo