Cargando…

Sets, logic and categories

Detalles Bibliográficos
Autor principal:	Cameron, Peter J
Lenguaje:	eng
Publicado:	Springer 1998
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-1-4471-0589-3 http://cds.cern.ch/record/1608977

Ejemplares similares

Category Theory : Applications to Algebra, Logic and Topology
por: Kamps, Klaus, et al.
Publicado: (1982)

Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic
por: Lawvere, F
Publicado: (1972)

Sets and logic
por: Hanna, Samuel C, et al.
Publicado: (1971)

Sheaves, games, and model completions: a categorial approach to nonclassical propositional logics
por: Ghilardi, Silvio, et al.
Publicado: (2002)

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

Logic, computers, and sets
por: Wang Hao
Publicado: (1970)

First order categorical logic: model-theoretical methods in the theory of Topoi and related categories
por: Makkai, Michael, et al.
Publicado: (1977)

Lectures in logic and set theory
por: Tourlakis, George
Publicado: (2003)

Logic by way of set theory
por: Ehlers, Henry
Publicado: (1968)

Lectures in Logic and Set Theory
por: Tourlakis, George, et al.
Publicado: (2003)

Categories and types in logic, language, and physics: essays dedicated to Jim Lambek on the occasion of this 90th birthday
por: Casadio, Claudia, et al.
Publicado: (2014)

Probabilistic logic in a coherent setting
por: Coletii, Giulianella, et al.
Publicado: (2002)

Mathematics of Fuzzy Sets and Fuzzy Logic
por: Bede, Barnabas
Publicado: (2013)

Categories, allegories
por: Freyd, Peter J
Publicado: (1990)

Sets, functions, and logic: an introduction to abstract mathematics
por: Devlin, Keith
Publicado: (2003)

Fuzzy sets, logics and reasoning about knowledge
por: Dubois, Didier, et al.
Publicado: (1999)

Sets, functions and logic: basic concepts of university mathematics
por: Devlin, Keith J
Publicado: (1981)

Exact categories and categories of sheaves
por: Barr, Michael, et al.
Publicado: (1971)

Triangulated Categories
por: Holm, Thorsten, et al.
Publicado: (2010)

A first course in mathematical logic and set theory
por: O'Leary, Michael L
Publicado: (2016)

A formal background to mathematics: logic, sets and numbers
por: Edwards, Robert
Publicado: (1979)

International Colloquium on Mathematical Logic and Foundations of Set Theory
por: Bar-Hillel, Yehoshua
Publicado: (1970)

Problems in set theory, mathematical logic and the theory of algorithms
por: Corsi, Giovanna
Publicado: (2003)

Mathematics of fuzzy sets: logic, topology, and measure theory
por: Höhle, Ulrich, et al.
Publicado: (1999)

Homotopy theory of higher categories: from Segal categories to n-categories and beyond
por: Simpson, Carlos
Publicado: (2011)

Categories
por: Schubert, Horst
Publicado: (1972)

Indexed categories and their applications
por: Johnstone, Peter T, et al.
Publicado: (1978)

Formal category theory adjointness for 2-categories
por: Gray, John W
Publicado: (1974)

Reasoning with rough sets: logical approaches to granularity-based framework
por: Akama, Seiki, et al.
Publicado: (2017)

Logic colloquium '02: lecture notes in logic 27
por: Chatzidakis, ZoÃ©, et al.
Publicado: (2006)

Homotopy limit functors on model categories and homotopical categories
por: Dwyer, William G, et al.
Publicado: (2014)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C J, et al.
Publicado: (1994)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C L, et al.
Publicado: (1994)

Functions and categories of Banach spaces: tensor products, operator ideals and functors on categories of Banach spaces
por: Michor, Peter W
Publicado: (1978)

Introduction to mathematical logic: set theory computable functions model theory
por: Malitz, Jerome
Publicado: (1979)

Tensor categories
por: Etingof, Pavel, et al.
Publicado: (2015)

Theory of categories
por: Mitchell, Barry
Publicado: (1965)

Model categories
por: Hovey, Mark
Publicado: (2014)

G-categories
por: Gordon, Robert
Publicado: (1993)

Theory of categories
por: Popescu, Nicolae, et al.
Publicado: (1979)

Cannot write session to /tmp/vufind_sessions/sess_t08a8bi3929fceulqd447m3i4s