Sheaves in geometry and logic : a first introduction to topos theory /

Sheaves in geometry and logic : a first introduction to topos theory /

Guardado en:

Detalles Bibliográficos
Autor principal:	Mac Lane, Saunders, 1909-2005.
Otros Autores:	Moerdijk, Ieke.
Formato:	Libro
Lenguaje:
Publicado:	New York : Springer-Verlag, c1992.
Colección:	Universitext
Materias:	Toposes.
Acceso en línea:	Indice

Ejemplares similares

Introduction to algebraic geometry. /
por: Lang, Serge, 1927-2005.
Publicado: ([1958])

First-order logic.
por: Smullyan, Raymond M.
Publicado: (1994.)

INTRODUCTION A LA GÉOMÉTRIE NON=EUCLIDIENNE
por: MAC LEOD, A

Mathematical logic : a first course.
por: Robbin, Joel W.
Publicado: (1969.)

Introduction to Logic.
por: Suppes, Patrick
Publicado: (c1957.)

Introductión to logic.
por: Copi, Irving M.
Publicado: (1961.)

Logic : the theory of inquiry.
por: Dewey, John
Publicado: (1938.)

First order mathematical logic.
por: Margaris, Angelo
Publicado: (1990.)

First order Mathematical Logic.
por: Margaris, Angelo
Publicado: (1967.)

Algebraic geometry : introduction to schemes /
por: Macdonald, I. G.
Publicado: (1968.)

Introduction to algebraic geometry /
por: Welchman, Gordon.
Publicado: (1950.)

Introduction to mathematical logic.
por: Church, Alonzo, 1903-
Publicado: (1956.)

Introduction to Mathematical Logic.
por: Mendelson, Elliott
Publicado: (1964.)

An introduction to symbolic logic.
por: Langer, Susanne K.
Publicado: (1953.)

An introduction to Mathematical Logic.
por: Robison, Gerson B.
Publicado: (c1969.)

Curso de topologia geral /
por: Mac Lane, Saunders, 1909-
Publicado: (1959.)

Algebra /
por: Mac Lane, Saunders, 1909-
Publicado: ([1967])

Set theory and logic.
por: Stoll, Robert R.
Publicado: (1979.)

The logic of empirical theories.
por: Przelecki, Marian
Publicado: (c1969.)

Set theory and logic.
por: Fraenkel, Abraham A.
Publicado: (1966.)

Set theory and logic.
por: Stoll, Robert R.
Publicado: (1963.)

Spacetime and geometry : an introduction to general relativity /
por: Carroll, Sean M., 1966-
Publicado: (c2019.)

Programmable logic controllers : an introduction /
por: Bolton, W. 1933-
Publicado: (1996.)

Introduction to elementary mathematical logic.
por: Stolyar, Abram Aronovich
Publicado: (1983.)

An introduction to many-valued logics.
por: Ackermann, Robert
Publicado: (1967.)

Introduction to semantics and formalization of Logic.
por: Carnap, Rudolf
Publicado: (1968.)

An introduction to decision logic tables /
por: McDaniel, Herman.
Publicado: ([1968])

Twistor geometry and field theory /
por: Ward, R. S. 1951-
Publicado: (1990.)

Geometry and quantum field theory /
Publicado: (c1995.)

Set theory and its logic.
por: Quine, Willard Van Orman
Publicado: (1963.)

An introduction to differential geometry : with use of the tensor calculus /
por: Eisenhart, Luther Pfahler, b. 1876.
Publicado: (1940.)

An introduction to differential geometry : with use of the tensor calculus /
por: Eisenhart, Luther Pfahler, b. 1876.
Publicado: (1947.)

LOGIC
por: SALMON, WESLEY

A comprehensive introduction to differential geometry /
por: Spivak, Michael.
Publicado: (1979.)

A first course in geometric topology and differential geometry.
por: Bloch, Ethan D., 1956-
Publicado: (1997c.)

An introduction to differentiable manifolds and Riemannian geometry /
por: Boothby, William M. 1918-
Publicado: (1986.)

Introduction to logic and to the methodology of deductive sciences.
por: Tarski, Alfred
Publicado: (1995.)

Introduction to the logical design of switching systems
por: Torng, H. C.
Publicado: (c1964.)

Introduction to symbolic logic and its applications.
por: Carnap, Rudolf
Publicado: (c1958.)

Introduction to logic and to the methodology of deductive sciences /
por: Tarski, Alfred.
Publicado: (1965.)