Sets, Logic and Categories.

Sets, Logic and Categories.

Saved in:

Bibliographic Details
Main Author:	Cameron, Peter J.
Format:	eBook
Language:	English
Published:	London : Springer London, 1998.
Edition:	N.
Subjects:	Set theory. Logic, Symbolic and mathematical. Categories (Mathematics) Logic, Symbolic and mathematical Set theory
Online Access:	Click for online access

Similar Items

Beyond Sets : a Venture in Collection-Theoretic Revisionism.
by: Rescher, Nicholas
Published: (2011)

Set theory and its logic
by: Quine, W. V. (Willard Van Orman)
Published: (1969)

Roads to infinity : the mathematics of truth and proof
by: Stillwell, John
Published: (2010)

Sets, Logic and Categories
by: Cameron, Peter J.
Published: (1998)

Lectures in logic and set theory : mathematical logic.
by: Tourlakis, George J.
Published: (2003)

Lectures in logic and set theory
by: Tourlakis, George J.
Published: (2003)

Language in action : categories, lambdas, and dynamic logic
by: Benthem, J. F. A. K. van, 1949-
Published: (1991)

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel
by: Grattan-Guinness, I.
Published: (2000)

Set theory, logic, and their limitations
by: Maḥover, Mosheh
Published: (1996)

Sets, logic, and axiomatic theories.
by: Stoll, Robert Roth
Published: (1961)

S-modules in the category of schemes
by: Hu, Po, 1974-
Published: (2003)

Set Theory, Arithmetic, and Foundations of Mathematics : Theorems, Philosophies.
by: Kennedy, Juliette
Published: (2011)

Set theory and its logic.
by: Quine, W. V. (Willard Van Orman)
Published: (1969)

Mathematical logic, the theory of algorithms and the theory of sets
Published: (1977)

Set theory and the continuum hypothesis
by: Cohen, Paul J., 1934-2007
Published: (1966)

S-modules in the category of schemes
by: Hu, Po, 1974-
Published: (2003)

A formalization of set theory without variables
by: Tarski, Alfred
Published: (1987)

Recursive function theory and logic.
by: Yasuhara, Ann
Published: (1971)

Cut Elimination in Categories
by: Dosen, K.
Published: (1999)

Categories for quantum theory : an introduction
by: Heunen, Christiaan Johan Marie, et al.
Published: (2020)

A hierarchy of formulas in set theory
by: Lévy, Azriel, 1934-
Published: (1965)

Appalachian set theory : 2006-2012
Published: (2013)

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Published: (1975)

Axiomatic Method and Category Theory
by: Rodin, Andrei
Published: (2014)

Applications of Category Theory to Fuzzy Subsets
Published: (1992)

Algebra of proofs
by: Szabo, M. E.
Published: (1978)

Infinity and truth
Published: (2014)

Accessible categories : the foundations of categorical model theory
by: Makkai, Mihály, 1939-, et al.
Published: (1989)

Introduction of infinity-categories
by: Land, Markus
Published: (2021)

Proof Logic and Formalization.
by: Detlefsen, Michael, 1948-
Published: (1992)

G-categories
by: Gordon, Robert, 1935-
Published: (1993)

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures
by: Doberkat, Ernst-Erich
Published: (2015)

Infinity and the mind : the science and philosophy of the infinite
by: Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Published: (1982)

Coding the universe
by: Beller, A.
Published: (1981)

Categories and sheaves
by: Kashiwara, Masaki, 1947-
Published: (2006)

Conditional and preferential logics : proof methods and theorem proving
by: Pozzato, Gian Luca
Published: (2010)

2-dimensional categories
by: Johnson, Niles, et al.
Published: (2021)

An introduction to category theory
by: Simmons, Harold
Published: (2011)

Gödel's theorems and Zermelo's axioms : a firm foundation of mathematics
by: Halbeisen, Lorenz, et al.
Published: (2020)

Boardman's stable homotopy category.
by: Vogt, Rainer
Published: (1969)