First order categorical logic : :: SCD d'Orléans

First order categorical logic : model-theoretical methods in the theory of topoi and related categories

First order categorical logic : model-theoretical methods in the theory of topoi and related categories

Guardat en:

Dades bibliogràfiques
Autors principals:	Makkai, Mihály, 1939-, Reyes, Gonzalo E., 1937-...., mathématicien (Autor)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in mathematics 611
Matèries:	Logique symbolique et mathématique Théorie des modèles Mathématiques Catégories (mathématiques) Topos (mathématiques)
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• First order categorical logic, model-theoretical methods in the theory of topoi and related categories, Michael Makkai, Gonzalo E. Reyes, Berlin, Springer-Verlag, 1977, 1 volume (VIII-301 p.), Lecture notes in mathematics, 3-540-08439-8 • First Order Categorical Logic, Texte imprimé, 9783662197813

Ítems similars

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

Sets, logic, and categories
per: Cameron, Peter J., 1947-...., mathématicien

Indexed categories and their applications
per: Johnstone, Peter T., 1948-

Categorical methods in computer science : with aspects from topology

First-order dynamic logic
per: Harel, David, 1950-

Classifying Spaces and Classifying Topoi
per: Moerdijk, Ieke, 1958-...., mathématicien

Complexe cotangent et deformations.
per: Illusie, Luc, 1940-

Algebra in a Localic Topos with Applications to Ring Theory
per: Borceux, Francis, 1948-, et al.

Categorical constructions in stable homotopy theory : a seminar given at the ETH, Zürich, in 1967
per: Tierney, Myles, 1937-2017

Seminar on triples and categorical homology theory : ETH 1966-67
per: Appelgate, Harry, 19..-...., Mathématicien, et al.

Théorie des topos et cohomologie étale des schémas. [Exposés IX à XIX] : [Séminaire de géométrie algébrique du Bois-Marie 1963/64 - SGA 4]

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
per: Bucur, Ion, 1930-1976, et al.
Publicat: (1972)

Théorie des topos et cohomologie étale des schémas. [théorie des topos, exposés I à IV] : [Séminaire de géométrie algébrique du Bois-Marie 1963-1964 - SGA 4]

Théorie des topos et cohomologie étale des schémas. [Exposés V à VIII] : [Séminaire de géométrie algébrique du Bois-Marie 1963/64 - SGA 4

Model Theory and Topoi : A Collection of Lectures by Various Authors

Category Theory : Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6 10, 1981

A first journey through logic
per: Hils, Martin, 1973-, et al.
Publicat: (2019)

Categorical topology : proceedings of the Conference held at Mannheim, 21-25 July, 1975

Constructive order types
per: Crossley, John Newsome, 1937-
Publicat: (1969)

Category Theory : Proceedings of the International Conference held in Como, Italy, July 22 28, 1990

Category theory and computer science : Edinburgh, U.K., September 7 9, 1987 : proceedings

Categorical topology : proceedings of the International conference, Berlin, August 27th to September 2nd, 1978

Mathematical logic : a first course
per: Robbin, Joel W.
Publicat: (1969)

Induced representations and Banach *- algebraic bundles
per: Fell, James Michael Gardner, 1923-2016

Modal logics
per: Feys, Robert, 1889-1961
Publicat: (1965)

Notes on logic
per: Lyndon, Roger Conant, 1917-1988
Publicat: (1966)

Logic Colloquium : Symposium on Logic Held at Boston, 1972 73

Proceedings of the Conference on Categorical Algebra : La Jolla 1965

An introduction to modal logic
per: Hughes, George Edward, 1918-, et al.
Publicat: (1968)

A mathematical introduction to logic
per: Enderton, Herbert, 1936-2010
Publicat: (1972)

Models for Smooth Infinitesimal Analysis
per: Moerdijk, Ieke, 1958-...., mathématicien, et al.

Logic for mathematicians
per: Rosser, John Barkley, 1907-1989
Publicat: (1953)

Mathematical logic
per: Shoenfield, Joseph Robert, 1927-2000
Publicat: (1967)

Elementary logic
per: Quine, Willard Van Orman, 1908-2000, philosophe
Publicat: (1965)

Logic and structure
per: Dalen, Dirk van, 1932-

Mathematical logic and the foundations of mathematics : an introductory survey
per: Kneebone, G. T.
Publicat: (1963)

Elements of Logic via Numbers and Sets
per: Johnson, David Lawrence, 1943-2023, mathématicien

Category theory and computer science : Paris, France, September 3-6, 1991, proceedings

Handbook of mathematical logic
per: Barwise, Jon, 1942-2000, logicien
Publicat: (1977)

Introduction to mathematical logic.
per: Church, Alonzo, 1903-1995
Publicat: (1956)

© 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