Cover Image

Varieties of constructive mathematics

Show other versions (1)

Saved in:

Bibliographic Details
Main Author:	Bridges, Douglas
Format:	Book
Published:	Cambridge Univ. Pr. 1987
Subjects:	Logic, Symbolic and mathematical
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Varieties of constructive mathematics /
by: Bridges, Douglas

Logic for mathematicians
by: Hamilton, Alan G., 1943-
Published: (2001)

Tractatus logico-philosophicus/
by: Wittgenstein, Ludwig, 1889-1951
Published: (1974)

Constructive order types/
by: CROSSLEY, John N.
Published: (1969)

Essential Computer Mathematics
by: Lipschutz, Seymour
Published: (1982)

Introduction to mathematical logic; set theory / computable functions, model theory.
by: MALITZ, Jerome
Published: (1979)

Logic for mathematicians /
by: Hamilton, Alan G., 1943-
Published: (2001)

Leibnits and the seventeenth-century /
by: Meyer, R.W
Published: (1952)

First steps in model logic /
by: Popkorn, Sally
Published: (1994)

First steps in model logic
by: Popkorn, Sally
Published: (1994)

Discrete Mathematics
by: Vatsa, B. S.

Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
Published: (1985)

Language logic and mathematics/
by: Kilmister, C.W
Published: (1967)

Fundamentals of symbolic logic/
by: AMBROSE, Alice
Published: (1948)

Threshold logic /
by: LEWIS, P.M
Published: (1967)

Computability and logic /
by: Boolos, George S.
Published: (1989)

Schaum's Outline of Discrete Mathematics
by: Lipschutz, S.
Published: (1997)

Discrete Mathematics and Its Applications
by: Rosen, K. H.
Published: (1999)

2000 Solved Problems in Discrete Mathematics
by: Lipschutz, S.
Published: (1992)

Schaum's outline of set theory and related topics /
by: Lipschutz, Seymour
Published: (1981)

Theory and Problems of Set Theory and Related Topics
by: Lipschutz, Seymour
Published: (1964)

Schaum's outline of set theory and related topics
by: Lipschutz, Seymour
Published: (1981)

Set Theory
by: Chatterjee, P. N.
Published: (1993)

Set Theory
by: Chatterjee, P. N.
Published: (1995)

Elements of mathematical logic/
by: NOVIKOV, P.S
Published: (1964)

Elements of mathematical logic/
by: LUKASIEWICZ, Jan
Published: (1963)

Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
by: SCHMIDT, H. Arnold ed
Published: (1968)

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
by: Rodríguez-Consuegra, Francisco
Published: (2025)

The Axiomatic method: an introduction to mathematical logic/
by: LIGHTSTONE, A.H
Published: (1964)

Set Theory: and Related Topics
by: Spiegel, Murray R.
Published: (1965)

Combinatory logic/
by: CURRY, Haskell B.
Published: (1968)

New Methods in symbolic logic/
by: STANDLEY, Gerald B.
Published: (1971)

Logic With Trees: an introduction to symbolic logic/
by: Howson, Colin
Published: (1997)

Proofs and refutations/ the logic of mathemati-
by: LAKATOS, Inre
Published: (1976)

Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra /
by: Cox, David A., et al.
Published: (2025)

Notes on logic and set theory /
by: Johnstone, P.T
Published: (1987)

Elements of the theory of computation /
by: Lewis, Harry R
Published: (1981)

Elements of the theory of computation /
by: Lewis, Harry R.
Published: (1989)

Elements of the theory of computation /
by: Lewis, Harry R.
Published: (1989)

Elements of the theory of computation /
by: Lewis, Harry R
Published: (1981)