Constructive Analysis /

Zermelo's Axiom of Choice : Its Origins, Development, and Influence /
by: Moore, Gregory H.
Published: (1982)

Perspectives of Elementary Mathematics /
by: Hochschild, Gerhard P.
Published: (1983)

Mathematical Aspects of Scientific Software /
by: Rice, J. R.
Published: (1988)

Set Theory of the Continuum /
by: Judah, H. (Haim)
Published: (1992)

Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory /
by: Malitz, Jerome, 1936-
Published: (1979)

Logic and Structure /
by: Dalen, Dirk
Published: (1994)

Logic and Structure /
by: Dalen, Dirk
Published: (1980)

Introduction to Axiomatic Set Theory /
by: Takeuti, Gaisi
Published: (1982)

An Outline of Set Theory /
by: Henle, James M.
Published: (1986)

Advances in Fuzzy Sets, Possibility Theory, and Applications /
by: Wang, Paul P.
Published: (1983)

Ideals, Varieties, and Algorithms : an Introduction to Computational Algebraic Geometry and Commutative Algebra /
by: Cox, David
Published: (1997)

Lectures on Boolean Algebras /
by: Halmos, Paul R.
Published: (1974)

The Joy of Sets : Fundamentals of Contemporary Set Theory /
by: Devlin, Keith J.
Published: (1993)

Algebra for Computer Science /
by: Gårding, Lars
Published: (1988)

Introduction to Mathematical Structures and Proofs /
by: Gerstein, Larry J.
Published: (1996)

Mathematical Logic : an Introduction to Model Theory /
by: Lightstone, A. H.
Published: (1978)

Mathematical Logic /
by: Ebbinghaus, H.-D
Published: (1994)

Notes on Set Theory /
by: Moschovakis, Yiannis N.
Published: (1994)

A Course in Model Theory : an Introduction to Contemporary Mathematical Logic /
by: Poizat, Bruno
Published: (2000)

Infinitesimal Analysis /
by: Gordon, E. I.
Published: (2002)

Language, Truth and Logic in Mathematics /
by: Hintikka, Jaakko
Published: (1998)

The Theory of Partial Algebraic Operations /
by: Li︠a︡pin, E. S.
Published: (1997)

Dominated Operators /
by: Kusraev, A. G.
Published: (2000)

Applications of Point Set Theory in Real Analysis /
by: Kharazishvili, A. B.
Published: (1998)

Classical Descriptive Set Theory /
by: Kechris, Alexander S.
Published: (1995)

Asymptotic Attainability /
by: Chent͡sov, A. G.
Published: (1997)

Set Theory : Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences /
by: Prisco, Carlos Augusto
Published: (1998)

Closure Spaces and Logic /
by: Martin, Norman M.
Published: (1996)

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)

Foundations of Mathematics : Questions of Analysis, Geometry & Algorithmics /
by: Engeler, Erwin
Published: (1993)

Computer Algebra : Symbolic and Algebraic Computation /
by: Buchberger, Bruno
Published: (1983)

Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989 /
by: Moschovakis, Yiannis N.
Published: (1992)

Elements of Logic via Numbers and Sets /
by: Johnson, D. L.
Published: (1998)

Fuzzy Logic Foundations and Industrial Applications /
by: Ruan, Da
Published: (1996)

Complexity and Real Computation /
by: Blum, Lenore
Published: (1998)

Logical Number Theory I : an Introduction /
by: Smoryński, C.
Published: (1991)