The metamathematics of algebraic systems : :: SCD d'Orléans

$The metamathematics of algebraic systems : collected papers : 1936-1967$

The metamathematics of algebraic systems : collected papers : 1936-1967

Guardat en:

Dades bibliogràfiques
Autor principal:	Mal'cev, Anatolii Ivanovič, 1909-1967, mathématicien
Altres autors:	Wells, Benjamin Franklin III, 19..- (Traductor, Director editorial)
Format:	Livre papier
Idioma:	Anglais
Publicat:	Amsterdam ; London : North-Holland Publishing Company C 1971.
Col·lecció:	Studies in logic and the foundations of mathematics 66
Matèries:	Théorie des modèles Algèbre Métamathématique Logique algébrique
Autres localisations:	Voir dans le Sudoc

Ítems similars

Algebraic systems
per: Mal'cev, Anatolii Ivanovič, 1909-1967
Publicat: (1973)

Introduction to metamathematics
per: Kleene, Stephen Cole, 1909-1994
Publicat: (1952)

Introduction to model theory and to the metamathematics of algebra
per: Robinson, Abraham, 1918-1974, mathématicien
Publicat: (1965)

Théorie métamathématique des idéaux
per: Robinson, Abraham, 1918-1974, mathématicien
Publicat: (1955)

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

Ecrits logiques
per: Herbrand, Jacques, 1908-1931, et al.
Publicat: (1968)

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

Algebraic logic
per: Halmos, Paul Richard, 1916-2006
Publicat: (1962)

Algebraic numbers
per: Lang, Serge, 1927-2005, mathématicien
Publicat: (1964)

Algebraic geometry. Complex algebraic varieties, Algebraic curves and their Jacobians
per: Paršin, Aleksej Nikolaevič, 1942-2022, et al.
Publicat: (1998)

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

La logique interne
per: Gauthier, Yvon, 1941-
Publicat: (1991)

Métamathématique
per: Lorenzen, Paul, 1915-1994
Publicat: (1967)

The Journal of logic and algebraic programming
Publicat: (2001)

Residuated lattices : an algebraic glimpse at substructural logics
per: Galatos, Nikolaos, 19..-, et al.
Publicat: (2007)

Capacity Theory on Algebraic Curves
per: Rumely, Robert S., 1952-...., mathématicien

Algebraic geometry and Nash functions
per: Tognoli, Alberto, 1937-...., Mathématicien
Publicat: (1978)

Non-complete Algebraic Surfaces
per: Miyanishi, Masayoshi, 1940-...., Mathématicien

Topics in Cohomological Studies of Algebraic Varieties : Impanga Lecture Notes
per: Pragacz, Piotr, 19..-...., mathématicien

From Objects to Diagrams for Ranges of Functors
per: Gillibert, Pierre, 1983-, et al.

How to read and do proofs : an introduction to mathematical thought processes
per: Solow, Daniel
Publicat: (2005)

Algebraic methods of mathematical logic
per: Rieger, Ladislav, 1916-1963
Publicat: (1967)

Algebraic Multiplicity of Eigenvalues of Linear Operators
per: López-Gómez, Julián, 19..-...., mathématicien, et al.

Le théorème de Gödel
per: Nagel, Ernest, 1901-1985, philosophe, logicien, et al.
Publicat: (1997)

Algebraic K-theory
per: Bass, Hyman, 1932-
Publicat: (1968)

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

Introduction to the theory of algebraic numbers and functions
per: Eichler, Martin, 1912-1992
Publicat: (1966)

Classical theory of algebraic numbers
per: Ribenboim, Paulo, 1928-...., mathématicien

Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 7, 1979

Higher algebraic K-theory : an overview
per: Lluis-Puebla, Emilio, 1952-, et al.

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

Algebraic Cycles and Hodge Theory : Lectures given at the 2nd Session of the Centro Internationale Matematico Estivo (C.I.M.E.) held in Torino, Italy, June 21-29, 1993
per: Green, Mark L., 1947-...., mathématicien, et al.

Real algebraic and semi-algebraic sets
per: Benedetti, Riccardo, et al.
Publicat: (1990)

Differential Function Fields and Moduli of Algebraic Varieties
per: Buium, Alexandru, 1955-

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

Simple Singularities and Simple Algebraic Groups
per: Slodowy, Peter, 1948-2002

Algebraic K-Theory Evanston 1980 : Proceedings of the Conference Held at Northwestern University Evanston, March 24 27, 1980
per: Friedlander, Eric M., 1944-

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

Differential Algebraic Groups of Finite Dimension
per: Buium, Alexandru, 1955-

Ergodic properties of algebraic fields
per: Linnik, Yuri Vladimirovich, 1915-1972, mathématicien
Publicat: (1968)

© 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