Algebraic logic :: SCD d'Orléans

Algebraic logic

Algebraic logic

Enregistré dans:

Détails bibliographiques
Auteur principal:	Halmos, Paul Richard, 1916-2006
Format:	Livre papier
Langue:	Anglais
Publié:	New York : Chelsea cop. 1962.
Sujets:	Logique algébrique
Autres localisations:	Voir dans le Sudoc

Documents similaires

Algebraic methods of mathematical logic
par: Rieger, Ladislav, 1916-1963
Publié: (1967)

The Journal of logic and algebraic programming
Publié: (2001)

Algebraic and logic programming : third international conference, Volterra, Italy, September 2 4, 1992 : proceedings

Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings
par: Bergman, Clifford H.

The metamathematics of algebraic systems : collected papers : 1936-1967
par: Mal'cev, Anatolii Ivanovič, 1909-1967, mathématicien
Publié: (1971)

Algebraic systems
par: Mal'cev, Anatolii Ivanovič, 1909-1967
Publié: (1973)

Abstract algebraic logic : an introductory textbook
par: Font, Josep Maria
Publié: (2016)

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings

Residuated lattices : an algebraic glimpse at substructural logics
par: Galatos, Nikolaos, 19..-, et autres
Publié: (2007)

Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers

Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

Model Theory and Algebraic Geometry : An introduction to E. Hrushovski s proof of the geometric Mordell-Lang conjecture

Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia
Publié: (1975)

Algebraic numbers and algebraic functions
par: Artin, Emil, 1898-1962, mathématicien
Publié: (1967)

Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia

Algebraic Structure of Knot Modules
par: Levine, Jerome Paul, 1937-2006

Algebraic geometry. Algebraic curves. Algebraic manifolds and schemes
par: Šafarevič, Igor½ Rosticlavovič, 1923-2017
Publié: (1994)

Real algebraic and semi-algebraic sets
par: Benedetti, Riccardo, et autres
Publié: (1990)

Algebraic geometry. Cohomology of algebraic varieties, algebraic surfaces
par: Šafarevič, Igor½ Rosticlavovič, 1923-2017
Publié: (1996)

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
par: Bucur, Ion, 1930-1976, et autres

Differential algebra and algebraic groups
par: Kolchin, Ellis Robert, 1916-1991
Publié: (1973)

Algebraic geometry. Complex algebraic varieties, Algebraic curves and their Jacobians
par: Paršin, Aleksej Nikolaevič, 1942-2022, et autres
Publié: (1998)

Algebraic geometry. Complex algebraic varieties, Algebraic curves and their Jacobians
par: Paršin, Aleksej Nikolaevič, 1942-2022, et autres

Algebraic curves : an introduction to algebraic geometry
par: Fulton, William, 1939-...., mathématicien
Publié: (1969)

Automated deduction in equational logic and cubic curves
par: McCune, William Walker, 1953-, et autres

Higher order algebra, logic, and term rewriting : First International Workshop, HOA'93, Amsterdam, The Netherlands, September 23 24, 1993 : selected papers

Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

Algebraic and analytic aspects of operator algebras
par: Kaplansky, Irving, 1917-2006
Publié: (1970)

La structure algébrique des théories mathématiques
par: Henkin, Leon, 1921-2006
Publié: (1956)

Function algebras on finite sets : A basic course on many-valued logic and clone theory
par: Lau, Dietlinde

Algebraic numbers
par: Lang, Serge, 1927-2005, mathématicien
Publié: (1964)

Real Algebraic Surfaces
par: Silhol, Robert, 1950-

Algebraic and coalgebraic methods in the mathematics of program construction : international Summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures

Logique combinatoire et séquentielle : méthodes, outils et réalisations
par: Brie, Claude, 19..-
Publié: (2002)

Algebraic geometry : an introduction to birational geometry of algebraic varieties
par: Iitaka, Shigeru, 1942-
Publié: (1982)

Algebraic Geometry : An Introduction
par: Perrin, Daniel, 1946-...., mathématicien

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales