algebraic logic (580 Ergebnisse)

Cloth. Zustand: Wie neu. 210 S. Mathematics Language Symbolization Axiomatic theoryPredicate Logic Algebra Syntax Semantics Befriedigender Zustand/ Cover shows mild wear. ha1087628 Sprache: Englisch Gewicht in Gramm: 800.

paperback. Zustand: Good. Get fast and secure shipping knowing your purchase helps empower our community to transform their lives through work.

Zustand: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.

Zustand: Good. Used book that is in clean, average condition without any missing pages.

Zustand: Good. Used book that is in clean, average condition without any missing pages.

Softcover. 189 p. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C-05213 3540059202 Sprache: Englisch Gewicht in Gramm: 550.

xxxiii, 454 p. Hardcover. Gestempelt/Stamped. Outstanding Contributions to Logic, 16. Sprache: Englisch.

Hardcover. Zustand: Good. Ex-library copy with usual markings. Cover shows light shelf wear. Pages are clean and intact.

Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 528 | Sprache: Englisch | Produktart: Bücher.

Zustand: guter bis sehr guter Zustand. F. guter bis sehr guter Zustand, geringe Gebrauchs- und Alterungsspuren: Einband teils gering vergilbt / leicht verschmutzt - Seiten sauber und ordentlich This monograph appears four years after the author's death in 1963. Ladislav Svante Rieger (b. 1916; for a short account of his life and papers see Czechoslovak Mathematical Journal 14 (89) (1964), 629 ? 633) contributed significantly to the development of several topics in mathematical logic. He was the first Czechoslovak mathematician to work systematically in mathematical logic; and over the years, has inspired a number of fellow-workers and students to continue in his work. The present book is the first and, regrettably, also the last monograph Rieger was to write. It is difficult to comment on those of Rieger's intentions which were not committed to paper. It appears that the book was intended to serve two purposes. First, to describe the author's concepts f mathematical logic and its character, as a whole; and, in accord with these, to present a detailed and precise exposition of several basic portions f mathematical logic, with particular attention paid to a number of important details usually passed over. And second ? and this is related to the first aim ? to describe the algebraic methods of mathematical logic. It would appear that the author had intended to confine himself mainly to methods connected with Boolean algebras. However, the text actually does not comprise the entire subject-matter that probably was intended to be considerably more extensive; the extent f the introductory chapters would then be in better proportion to the rest of the book. A practically complete manuscript, in Czech, consisting of eight chapters, was found among Rieger's papers. It seems that the author did not consider this text final and intended a thorough revision f large portions of it, mainly in the last chapters. However, it was, of course, impossible to make any essential changes or substantial additions- Some obvious minor errors have been corrected, and several editorial remarks added. The author's rather involved style raised a number of difficulties in translation, usually solved by a more or less suitable compromise. A typical aspect of this book is, in several instances, an admitted and explicit transition from concrete, intuitive and special notions to abstract, non-intuitive and general concepts. A number f these are then defined or explained several times, in different contexts and levels of generality. This instructive procedure entails other difficulties; it was attempted to alleviate these by a suitable organization of the index. Seitenanzahl: 210 Seiten Format: ca. 17 x 24,5 Leinen (ohne Schutzumschlag) Englisch.

1 Online-Ressource(XIII, 586 p. 66 illus., 5 illus. in color.). Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Outstanding Contributions to Logic, 22. Sprache: Englisch.

Soft cover. Zustand: Very Good. 292 pages, paperback, a very good ex-library copy [0387972889].

Paperback. Zustand: Sehr gut. 274 p. Das Exemplar ist in einem sehr guten und sauberen Zustand ohne Anstreichungen. The copy is in a very good and clean condition without markings. - CONTENTS -- I. INTRODUCTION -- The basic concepts of algebraic logic. American Mathematical Monthly, vol. 53 (1956), pp. 363-387. -- PART ONE -- MONADIC ALGEBRAS -- II. GENERAL THEORY -- Algebraic logic, I. Monadic Boolean algebras. Compositio Mathematica, vol. 12 (1955), pp. 217-249. -- III. REPRESENTATION -- The representation of monadic Boolean algebras. Duke Mathematical Journal, vol. 26 (1959), pp. 447-454. -- IV. FREEDOM -- Free monadic algebras. Proceedings of the American Mathe-matical Society, vol. 10 (1959), pp. 219-227. -- PART TWO POLYADIC ALGEBRAS -- V. GENERAL THEORY -- Algebraic logic, II. Homogeneous locally finite polyadic Boolean algebras of infinite degree. Fundamenta Mathematicae, vol. 43 (1956), pp. 255-325. -- VI. TERMS -- Algebraic logic, III. Predicates, terms, and operations in poly-adic algebras. Transactions of the American Mathematical Society, vol. 83 (1956), pp. 430-470. -- VII. EQUALITY -- Algebraic logic, IV. Equality in polyadic algebras. Transac-tions of the American Mathematical Society, vol. 86 (1957), pp. 1-27. -- PART THREE -- SUMMARY -- VIII. GENERAL THEORY -- Polyadic Boolean algebras. Proceedings of the National Academy of Sciences, vol. 40 (1954), pp. 296-301. -- IX. TERMS AND EQUALITY. -- Predicates, terms, operations, and equality in polyadic Boolean algebras. Proceedings of the National Academy of Sciences, vol. 42 (1956), pp. 130-136. -- X. BRIEF SUMMARY -- Polyadic Boolean algebras. Proceedings of the International Congress of Mathematicians, Amsterdam, vol. 2 (1954), pp. 402-403. -- ADDITIONAL BIBLIOGRAPHY -- INDEX. ISBN 9781614276340 Sprache: Englisch Gewicht in Gramm: 423.

Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

271 Seiten, Sprache: Englisch Gewicht in Gramm: 640 Groß 8°, Original-Leinen, Bibliotheks-Exemplar (ordnungsgemäß entwidmet) mit Rückenschild, Stempel auf Titel und auf Schnitt, insgesamt gutes und innen sauberes Exemplar,

Hardcover. Zustand: Gut. Reprint. 356 p., with numerous figures, Good condition. Stamped edges. Sprache: Englisch Gewicht in Gramm: 845.

341 S., Sprache: Englisch Gewicht in Gramm: 560 Groß 8°, Original-Karton (Softcover), Deckel leicht knoitterig, insgesamt gutes und innen sauberes Exemplar,

gebundene Ausgabe. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 271 Seiten, Englisch 606g.

Zustand: Good. 278 pp., Paperback, ex library, some wear to cover, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Unknown. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.01.

gebundene Ausgabe. Zustand: Gut. 356 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 710.

Zustand: New.

Zustand: New. KlappentextrnrnAbstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and their algebra-based semantics. This emerging subfield of mathematical log.

Zustand: Very Good. Light dusting to the cover. Inscription to the inside cover. Content is clean and readable throughout.

Hardcover ed. 121 pp. In a very good condition, name at first free endpaper. ISBN 9780387901091.

Taschenbuch. Zustand: Neu. Neuware -Source: Wikipedia. Pages: 89. Chapters: Abstract algebraic logic, Action algebra, Boolean algebra, Boolean algebra (logic), Canonical form (Boolean algebra), Cylindric algebra, De Morgan algebra, Higher-dimensional algebra, Kleene algebra, Leibniz operator, Lindenbaum¿Tarski algebra, Monadic Boolean algebra, MV-algebra, Ockham algebra, Polyadic algebra, Predicate functor logic, Relation algebra, Residuated Boolean algebra. Excerpt: 256 article summaries including: Categorical Abstract Algebraic Logic: More on Protoalgebraicity . Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic . Categorical Abstract Algebraic Logic: Models of ?-Institutions . An Abstract Algebraic Logic Approach to Tetravalent Modal Logics . Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions . Finite schematizable algebraic logic . 9 Clone Theory and Algebraic Logic . Independence Results in Algebraic Logic . Complete Representations in Algebraic Logic . 16 Relational Lattice Foundation for Algebraic Logic . Algebraic logic, where does it stand today . Expressive Power and Complexity in Algebraic Logic . Some Results on Amalgamation in Algebraic Logic . Amalgamation Theorems in Algebraic Logic, an overview . 28 Algebraic logic and logically-geometric types in varieties of algebras . 29 Algebraic logic and logical geometry in arbitrary varieties of algebras . 30 Algebraic Logic, Varieties of Algebras and Algebraic Varieties . LogAB: A first-order, non-paradoxical, algebraic logic of belief . Step by Step-Building Representations in Algebraic Logic . 42 Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic . 43 Resolving G'odel's Incompleteness Myth: Polynomial Equations and Dynamical Systems for Algebraic Logic . Algebrai logika; relativitáselmélet logikai struktúrájának vizsgálata = Algebraic logic; investigating the logical structure of relativity theory . 51 Higher-Dimensional Algebra VII: Groupoidification . 52 Kleene algebra with domain . Concurrent Kleene Algebra . Lazy Kleene Algebra . Kleene Algebra with Domain . Demonic Kleene Algebra . Typed Kleene Algebra . Boolean algebra . 60 Higher-Dimensional Algebra and Planck-Scale Physics . 61 Higher-Dimensional Algebra IV: 2-Tangles . 62 Higher-Dimensional Algebra V: 2-Groups . 63 Higher-Dimensional Algebra VI: Lie 2-Algebras . 64 Higher-Dimensional Algebra II: 2-Hilbert Spaces . Termination in Modal Kleene Algebra . Foundations of Concurrent Kleene Algebra . Kleene Algebra and Bytecode Verification . Wikibooks: Electronics/Boolean Algebra . Position Automata for Kleene Algebra with Tests . Greedy-Like Algorithms in Kleene Algebra . Modal Kleene Algebra and Partial Correctness . Second-Order Abstract Interpretation via Kleene Algebra . Kleene algebra with tests and commutativity conditions . Kleene Algebra with Tests: Completeness and Decidability . The Complexity of Kleene Algebra with Tests . Kleene Algebra with Tests and Program Schematology . Parikh's Theorem in Commutative Kleene Algebra . On Hoare Logic, Kleene Algebra, and Types . Using probabilistic Kleene algebra for protocol verification . 87 Higher-dimensional Algebra and Topological Quantum Field Theory . 88 Higher-Dimensional Algebra I: Braided Monoidal 2-Categories . 93 Constructive version of Boolean algebra . Single axioms for Bool.Books on Demand GmbH, Überseering 33, 22297 Hamburg 70 pp. Englisch.

Hardcover. Zustand: Good. Name inside else VG.

Softcover Sehr gut erhalten.

24 x 16 cm. Zustand: Gut. Graduate Texts in Mathematics 22. VIII, 121 Pages ; With Figures Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einband angestaubt und innen Papier leicht gebräunt. Englische Sprache - Original Hardboard with Library label shop-soiled. Inside with Library stamps, Paper little bronzy, in good condition. English Language B11-02-05I|S24 Sprache: Englisch Gewicht in Gramm: 360.