Foundations of Constructive Mathematics : Metamathematical Studies /

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

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

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

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

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

Self-Reference and Modal Logic /
by: Smoryński, C.
Published: (1985)

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

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

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)

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

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

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

Constructive Analysis /
by: Bishop, Errett, 1928-1983
Published: (1985)

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)

Philosophy of Mathematics Today /
by: Agazzi, Evandro
Published: (1997)

Mathematical Logic and Its Applications /
by: Skordev, Dimitŭr Genchev
Published: (1988)

Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum : Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999 /
by: Schuster, Peter
Published: (2001)

Internal Logic : Foundations of Mathematics from Kronecker to Hilbert /
by: Gauthier, Yvon
Published: (2002)

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

Inconsistent Mathematics /
by: Mortensen, Chris
Published: (1995)

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

Fuzzy Logic : Mathematical Tools for Approximate Reasoning /
by: Gerla, Giangiacomo
Published: (2001)

Problems in set theory, mathematical logic and the theory of algorithms /
by: Lavrov, I. (Igor' Andreevich)
Published: (2003)

Logic, Language, and Probability : a Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971 /
by: Bogdan, Radu J.
Published: (1973)

Mathematical Logic for Computer Science /
by: Ben-Ari, Mordechai
Published: (2001)

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)

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

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