Toposy : kategornyj analiz logiki

Saved in:

Bibliographic Details
Main Author:	Goldblatt, Robert, 1949- (Author)
Format:	Book
Language:	Russian
Published:	Moskva : Mir, 1983
Genre/form:	monografie
Subjects:	matematická logika teorie množin teorie kategorií logika
Tags:	Add Tag No Tags, Be the first to tag this record!

Cover Image

Similar Items

Topoi : the categorial analysis of logic
by: Goldblatt, Robert, 1949-
Published: (2006)

Toposes, triples and theories
by: Barr, Michael, 1937-
Published: (1985)

An invitation to applied category theory : seven sketches in compositionality
by: Fong, Brendan, 1988-
Published: (2019)

Starting category theory
by: Perrone, Paolo, 1989-
Published: (2024)

Teorija toposov
by: Johnstone, P. T., 1948-
Published: (1986)

Topos theory
by: Johnstone, P. T., 1948-
Published: (1977)

Conceptual mathematics : a first introduction to categories
by: Lawvere, F. W., 1937-
Published: (2009)

Theory of mathematical structures
by: Adámek, Jiří, 1947-
Published: (1983)

Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990
Published: (1991)

Algebraic theories : a categorical introduction to general algebra
by: Adámek, Jiří, 1947-
Published: (2011)

Categorical algebra and its applications : proceedings of a conference, held in Louvain-La-Neuve, Belgium, July 26-August 1, 1987
Published: (1988)

Category theory in context
by: Riehl, Emily
Published: (2016)

Metody gomologičeskoj algebry.
by: Gel'fand, Sergej Izrailevič, 1944-
Published: (1988)

Locally presentable and accessible categories
by: Adámek, Jiří, 1947-
Published: (1994)

Matematika I : 1. Úvod do matematické logiky a teorie množin
by: Tryhuk, Václav, 1949-
Published: (1994)

The joy of abstraction : an exploration of math, category theory, and life
by: Cheng, Eugenia
Published: (2022)

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
by: Makkai, Michael, 1939-
Published: (1977)

Analysis of categorical data with R
by: Bilder, Christopher R.
Published: (2015)

Derived categories
by: Yekutieli, Amnon
Published: (2020)

Mathematical logic
by: Demlová, Marie, 1949-
Published: (1999)

Matematická logika
by: Demlová, Marie, 1949-
Published: (1997)

Matematika 35 : matematická logika
by: Jirásko, Josef, 1951-2021
Published: (1997)

Cauchy-like functional equation based on a class of uniforms
by: Qin, Feng

On a functional equation related to the distributivity of fuzzy implications over triangular norms and conorms
by: Baczyński, Michał Krzysztof, 1971-

Handbuch der höheren Algebra
by: Serret, Joseph-Alfred, 1819-1895
Published: (1878)

Matematičeskaja logika
by: Jeršov, Jurij Leonidovič, 1940-
Published: (1987)

On the diameter of the Manach-Mazur set
by: Godefroy, Gilles

Associative n-dimensional copulas
by: Stupňanová, Andrea

Left and right semi-uninorms on a complete lattice
by: Su, Yong

Mathematical logic : a course with exercises.
by: Cori, René
Published: (2001)

On the L-valued categories of L-E-ordered sets
by: Grigorenko, Olga

About the equivalence of nullnorms on bounded lattice
by: Kesicioğlu, M. Nesibe

Ultrafilters and small sets : abstract of doctoral thesis
by: Flašková, Jana, 1978-
Published: (2006)

Another proof of a result of Jech and Shelah
by: Komjáth, Péter

A tale of discrete mathematics : a journey through logic, reasoning, structures and graph theory
by: Khoury, Joseph, 1968-
Published: (2024)

On almost equitable uniforms
by: Li, Gang

Modern mathematical logic
by: Mileti, Joseph, 1978-
Published: (2023)

A bridge to higher mathematics
by: Deaconu, Valentin
Published: (2017)

A transition to proof : an introduction to advanced mathematics
by: Nicholson, Neil R.
Published: (2019)

Recursion - theoretic hierarchies
by: Hinman, Peter G.
Published: (1978)