Cantitate/Preț
Produs

Logic and Algebra: Surfactant Science, cartea 180

Autor Aldo Ursini, Ursini Ursini, Paolo Agliano
en Limba Engleză Paperback – mai 1996
"Attempts to unite the fields of mathematical logic and general algebra. Presents a collection of refereed papers inspired by the International Conference on Logic and Algebra held in Siena, Italy, in honor of the late Italian mathematician Roberto Magari, a leading force in the blossoming of research in mathematical logic in Italy since the 1960s."
Citește tot Restrânge

Din seria Surfactant Science

Preț: 208704 lei

Preț vechi: 229345 lei
-9%

Puncte Express: 3131

Preț estimativ în valută:
39985 43312$ 34289£

Carte indisponibilă temporar

Doresc să fiu notificat când acest titlu va fi disponibil:

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780824796068
ISBN-10: 0824796063
Pagini: 728
Ilustrații: 1
Dimensiuni: 177 x 251 x 33 mm
Greutate: 1.42 kg
Ediția:New.
Editura: CRC Press
Seriile Lecture Notes in Pure and Applied Mathematics, Surfactant Science


Cuprins

"Invited Papers Logic of Proofs with Complexity Operators, S. ArtEmov and A. Chuprina Beyond the s-Semantics: A Theory of Observables, M. Comini and G. Levi The Logic of Commuting Equivalence Relations, D. Finberg, M. Mainetti, and G.-C. Rota Proof-Nets: The Parallel Syntax for Proof-theory, J.-Y. Girard Magari and Others on GOdel's Ontological Proof, P. Hajek Finitely Generated Magari Algebras and Arithmetic, L. Hendriks and D. de Jongh The Butterfly and the Serpent, J. Lambek Adjoints in and Among Bicategories, F. William Lawvere Exponential Algebra, A. Macintyre Categorical Equivalences for Varieties, R. McKenzie Boolean Universal Algebra, A.F. Pixley Restructuring Mathematical Logic: An Approach Based on Peirce's Pragmatism, R. Wille The Development of Research in Algebra in Italy from 1850 to 1940, G. Zappa Contributed Papers A Criterion to Decide the Semantic Match Problem, G. Aguzzi and U. Modigliani Remarks on Magari Algebras of PA and IDelta0+EXP, L. Beklemishev Undecidability in Weak Membership Theories, D. BellE and F. Parlamento Infinite Lambda-Calculus and Non-sensible Models, A. Berarducci A Computer Study of 3-Element Groupoids, J. Bremen and S.N. Burris Ideal Properties of Congruencies, I. Chajda Dualisability in General and Endodualisability in Particular, B.A. Davey Hyperordinals and Nonstandard Alpha-Models, M. Di Nasso Some Notes on Subword Quantification and Induction Thereof, F. Ferreira Research in Automated Deduction as a Basis for a Probabilistic Proof-theory, P. Forcheri, P. Gentilini, and M.T. Molfino Idempotent Simple Algebras, K. Kearnes A Revision of the Mathematical Part of Magari's Paper on ""Introduction to Metamorality"", R. Magari and G. Simi Some Aspects of the Categorical Semantics for the Polymorphic Lambda-Calculus, M.E. Maietti Reflection Using the Derivability Conditions, S. Matthews and A.K. Simpson Stone Bases, Alias the Constructive Content of Stone Representation, S. Negri On k-Permutability for Categories of T-Algebras, M.C. Pedicchio Weak vs. Strong Boethius' Thesis: A Problem in the Analysis of Consequential Implication, C. Pizzi A New and Elementary Method to Represent Every Complete Boolean Algebra, G. Sambin On Finite Intersections of Intermediate Predicate Logics, D. Skvortsov A Completeness Theorem for Formal Topologies, A. Valentini "