Sets, Logic and Categories /
Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Gödel's Theorem, and the Skolem Paradox. But they are also rich mathematical theories in their own right, contributing techniques a...
| Main Author: | Cameron, Peter J. |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London : Imprint : Springer,
1998.
|
| Series: | Springer undergraduate mathematics series.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Non-Classical Logics and their Applications to Fuzzy Subsets : A Handbook of the Mathematical Foundations of Fuzzy Set Theory /
by: Höhle, Ulrich
Published: (1995)
by: Höhle, Ulrich
Published: (1995)
Sheaves in Geometry and Logic : a First Introduction to Topos Theory /
by: Mac Lane, Saunders
Published: (1992)
by: Mac Lane, Saunders
Published: (1992)
Protoalgebraic Logics /
by: Czelakowski, Janusz
Published: (2001)
by: Czelakowski, Janusz
Published: (2001)
Topological and Algebraic Structures in Fuzzy Sets : a Handbook of Recent Developments in the Mathematics of Fuzzy Sets /
by: Rodabaugh, Stephen Ernest
Published: (2003)
by: Rodabaugh, Stephen Ernest
Published: (2003)
Problems in set theory, mathematical logic and the theory of algorithms /
by: Lavrov, I. (Igor' Andreevich)
Published: (2003)
by: Lavrov, I. (Igor' Andreevich)
Published: (2003)
Elements of Logic via Numbers and Sets /
by: Johnson, D. L.
Published: (1998)
by: Johnson, D. L.
Published: (1998)
Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory /
by: Malitz, Jerome, 1936-
Published: (1979)
by: Malitz, Jerome, 1936-
Published: (1979)
Logic and Structure /
by: Dalen, Dirk
Published: (1980)
by: Dalen, Dirk
Published: (1980)
Logic and Structure /
by: Dalen, Dirk
Published: (1994)
by: Dalen, Dirk
Published: (1994)
Mathematical Logic /
by: Ebbinghaus, H.-D
Published: (1994)
by: Ebbinghaus, H.-D
Published: (1994)
Mathematical Logic : an Introduction to Model Theory /
by: Lightstone, A. H.
Published: (1978)
by: Lightstone, A. H.
Published: (1978)
Self-Reference and Modal Logic /
by: Smoryński, C.
Published: (1985)
by: Smoryński, C.
Published: (1985)
The Joy of Sets : Fundamentals of Contemporary Set Theory /
by: Devlin, Keith J.
Published: (1993)
by: Devlin, Keith J.
Published: (1993)
An Outline of Set Theory /
by: Henle, James M.
Published: (1986)
by: Henle, James M.
Published: (1986)
Set Theory of the Continuum /
by: Judah, H. (Haim)
Published: (1992)
by: Judah, H. (Haim)
Published: (1992)
Notes on Set Theory /
by: Moschovakis, Yiannis N.
Published: (1994)
by: Moschovakis, Yiannis N.
Published: (1994)
Introduction to Axiomatic Set Theory /
by: Takeuti, Gaisi
Published: (1982)
by: Takeuti, Gaisi
Published: (1982)
Advances in Fuzzy Sets, Possibility Theory, and Applications /
by: Wang, Paul P.
Published: (1983)
by: Wang, Paul P.
Published: (1983)
Logical Number Theory I : an Introduction /
by: Smoryński, C.
Published: (1991)
by: Smoryński, C.
Published: (1991)
Language, Truth and Logic in Mathematics /
by: Hintikka, Jaakko
Published: (1998)
by: Hintikka, Jaakko
Published: (1998)
Algebraic Model Theory /
by: Hart, Bradd T.
Published: (1997)
by: Hart, Bradd T.
Published: (1997)
Categorical Topology : Proceedings of the L'Aquila Conference (1994) /
by: Giuli, Eraldo
Published: (1996)
by: Giuli, Eraldo
Published: (1996)
Serial Rings /
by: Puninski, Gennadi
Published: (2001)
by: Puninski, Gennadi
Published: (2001)
A Course in Model Theory : an Introduction to Contemporary Mathematical Logic /
by: Poizat, Bruno
Published: (2000)
by: Poizat, Bruno
Published: (2000)
Applications of Category Theory to Fuzzy Subsets /
by: Rodabaugh, Stephen Ernest
Published: (1992)
by: Rodabaugh, Stephen Ernest
Published: (1992)
Inconsistent Mathematics /
by: Mortensen, Chris
Published: (1995)
by: Mortensen, Chris
Published: (1995)
The Theory of Partial Algebraic Operations /
by: Li︠a︡pin, E. S.
Published: (1997)
by: Li︠a︡pin, E. S.
Published: (1997)
Ideals, Varieties, and Algorithms : an Introduction to Computational Algebraic Geometry and Commutative Algebra /
by: Cox, David
Published: (1997)
by: Cox, David
Published: (1997)
Algebra for Computer Science /
by: Gårding, Lars
Published: (1988)
by: Gårding, Lars
Published: (1988)
Perspectives of Elementary Mathematics /
by: Hochschild, Gerhard P.
Published: (1983)
by: Hochschild, Gerhard P.
Published: (1983)
Lectures on Boolean Algebras /
by: Halmos, Paul R.
Published: (1974)
by: Halmos, Paul R.
Published: (1974)
Foundations of Constructive Mathematics : Metamathematical Studies /
by: Beeson, Michael J.
Published: (1985)
by: Beeson, Michael J.
Published: (1985)
Introduction to Mathematical Structures and Proofs /
by: Gerstein, Larry J.
Published: (1996)
by: Gerstein, Larry J.
Published: (1996)
Zermelo's Axiom of Choice : Its Origins, Development, and Influence /
by: Moore, Gregory H.
Published: (1982)
by: Moore, Gregory H.
Published: (1982)
Mathematical Aspects of Scientific Software /
by: Rice, J. R.
Published: (1988)
by: Rice, J. R.
Published: (1988)
Limit Theorems and Applications of Set-Valued and Fuzzy Set-Valued Random Variables /
by: Li, Shoumei
Published: (2002)
by: Li, Shoumei
Published: (2002)
Closure Spaces and Logic /
by: Martin, Norman M.
Published: (1996)
by: Martin, Norman M.
Published: (1996)
Complexity and Real Computation /
by: Blum, Lenore
Published: (1998)
by: Blum, Lenore
Published: (1998)
The Theory of Lattice-Ordered Groups /
by: Kopytov, V. M.
Published: (1994)
by: Kopytov, V. M.
Published: (1994)
Quantum Structures and the Nature of Reality : The Indigo Book of "Einstein Meets Magritte" /
by: Aerts, Diederik
Published: (1999)
by: Aerts, Diederik
Published: (1999)