Toposes, algebraic geometry and logic /

Código QR

Toposes, algebraic geometry and logic /

Detalles Bibliográficos
Autor principal:	Lawvere, F. W. (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Berlín : Springer, 1964-.
Materias:	LOGICA, SIMBOLICA Y MATEMATICA GEOMETRIA ALGEBRAICA CATEGORIAS (MATEMATICAS)

Ejemplares similares

Categories tannakiennes
por: Saavedra Rivano, Neantro, et al.
Publicado: (1964)

Theorie des topos et cohomologie etale des schemas : M. Artin, A. Grothendieck and J.L. Verdier.
por: Artin, Michael, et al.
Publicado: (1964)

An Introduction to algebraic logic
por: Kiss, Stephen Anthony n. 1890, et al.
Publicado: (1961)

Studies in algebraic logic /
por: Daigneault, Aubert 1932-
Publicado: (1974)

Pratica : proofs, types and categories /
por: Hermann Haeusler, Edward
Publicado: (1999)

Categories cofibrees additives et complexe cotangent relatif
por: Grothendieck, Alexandre, et al.
Publicado: (1964)

Infinitary logic : in memoriam Carol Karp.
por: Kueker, David W. 1934-, et al.
Publicado: (1964)

Abstract and concrete categories : the joy of cats /
por: Adámek, Jirí, et al.
Publicado: (2009)

Algebraic geometry : introduction to schemes /
por: MacDonald, Ian Grant, et al.
Publicado: (1968)

Lectures on infinitary logic and logics of programs /
por: Rasiowa, Helena, et al.
Publicado: (1974)

Symbolic logic : and, the game of logic
por: Carroll, Lewis 1832-1898
Publicado: (1968)

The Computational complexity of logical theories /
por: Ferrante, Jeanne 1949-, et al.
Publicado: (1964)

Mathematics and logic : retrospect and prospects /
por: Kac, Mark, et al.
Publicado: (1969)

Foundations of the logical theory of scientific knowledge (complex logic) /
por: Zinoviev, Aleksandr 1922-, et al.
Publicado: (1973)

Mathematical logic
por: Monk, James Donald 1930-, et al.
Publicado: (1976)

Introduction to logic
por: Suppes, Patrick Colonel 1922-, et al.
Publicado: (1960)

Logic for mathematicians
por: Rosser, John Barkley n. 1907, et al.
Publicado: (1953)

Symbolic logic
por: Copi, Irving M., et al.
Publicado: (1961)

Symbolic logic
por: Copi, Irving M., et al.
Publicado: (1965)

Mathematical logic
por: Shoenfield, Joseph Robert 1927-, et al.
Publicado: (1967)

Mathematical logic /
por: Quine, Willard Van Orman, et al.
Publicado: (1951)

Mathematical logic /
por: Quine, Willard Van Orman, et al.
Publicado: (1981)

Elementary logic
por: Mates, Benson 1919-, et al.
Publicado: (1965)

Symbolic logic /
por: Copi, Irving M., et al.
Publicado: (1979)

Symbolic logic /
por: Copi, Irving M., et al.
Publicado: (1979)

Symbolic logic /
por: Copi, Irving M., et al.
Publicado: (1954)

Mathematical logic
por: Klenne, Stephen Cole
Publicado: (1967)

Logic for mathematicians
por: Rosser, J. Barkley
Publicado: (1953)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

The logical problem of induction /
por: Wright, George Henrik Von 1916-2003, et al.
Publicado: (1957)

Symbolic logic /
por: Lewis, Clarence Irving n. 1883, et al.
Publicado: (1959)

Symbolic logic : an introduction
por: Thomason, Richmond H, et al.
Publicado: (1970)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
Publicado: (1964)

Introduction to mathematical logic /
por: Mendelson, Elliott 1931-2020, et al.
Publicado: (1964)

Elements of mathematical logic.
por: Novikov, Petr Sergeevich, et al.
Publicado: (1964)

Handbook of mathematical logic /
por: Barwise, Jon
Publicado: (1978)

Foundations of mathematical logic /
por: Curry, Haskell Brooks n. 1900, et al.
Publicado: (1963)

Course of mathematical logic /
por: Fraisse, Roland, et al.
Publicado: (1973)

Introduction to mathematical logic /
por: Church, Alonzo n. 1903, et al.
Publicado: (1956)

Selected works in logic /
por: Skolem, Thoralf A. 1887-1967, et al.
Publicado: (1970)