Delwedd Flaen

Varieties of constructive mathematics /

Show other versions (1)

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Bridges, Douglas
Fformat:	Llyfr
Iaith:	Saesneg
Cyhoeddwyd:	1987(1988) Cambridge : Univ,Pr,
Pynciau:	Logic, Symbolic and mathematical
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

Logic for mathematicians /
gan: Hamilton, Alan G., 1943-
Cyhoeddwyd: (2001)

Varieties of constructive mathematics
gan: Bridges, Douglas
Cyhoeddwyd: (1987)

Constructive order types/
gan: CROSSLEY, John N.
Cyhoeddwyd: (1969)

Essential Computer Mathematics
gan: Lipschutz, Seymour
Cyhoeddwyd: (1982)

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

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

First steps in model logic /
gan: Popkorn, Sally
Cyhoeddwyd: (1994)

Logic for mathematicians
gan: Hamilton, Alan G., 1943-
Cyhoeddwyd: (2001)

First steps in model logic
gan: Popkorn, Sally
Cyhoeddwyd: (1994)

Discrete Mathematics
gan: Vatsa, B. S.

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

Language logic and mathematics/
gan: Kilmister, C.W
Cyhoeddwyd: (1967)

Fundamentals of symbolic logic/
gan: AMBROSE, Alice
Cyhoeddwyd: (1948)

Threshold logic /
gan: LEWIS, P.M
Cyhoeddwyd: (1967)

Computability and logic /
gan: Boolos, George S.
Cyhoeddwyd: (1989)

Schaum's Outline of Discrete Mathematics
gan: Lipschutz, S.
Cyhoeddwyd: (1997)

Discrete Mathematics and Its Applications
gan: Rosen, K. H.
Cyhoeddwyd: (1999)

2000 Solved Problems in Discrete Mathematics
gan: Lipschutz, S.
Cyhoeddwyd: (1992)

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

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

Theory and Problems of Set Theory and Related Topics
gan: Lipschutz, Seymour
Cyhoeddwyd: (1964)

Set Theory
gan: Chatterjee, P. N.
Cyhoeddwyd: (1993)

Set Theory
gan: Chatterjee, P. N.
Cyhoeddwyd: (1995)

Elements of mathematical logic/
gan: NOVIKOV, P.S
Cyhoeddwyd: (1964)

Elements of mathematical logic/
gan: LUKASIEWICZ, Jan
Cyhoeddwyd: (1963)

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

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

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

Set Theory: and Related Topics
gan: Spiegel, Murray R.
Cyhoeddwyd: (1965)

Combinatory logic/
gan: CURRY, Haskell B.
Cyhoeddwyd: (1968)

New Methods in symbolic logic/
gan: STANDLEY, Gerald B.
Cyhoeddwyd: (1971)

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

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

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

Elements of the theory of computation /
gan: Lewis, Harry R
Cyhoeddwyd: (1981)

Elements of the theory of computation /
gan: Lewis, Harry R.
Cyhoeddwyd: (1989)

Elements of the theory of computation /
gan: Lewis, Harry R.
Cyhoeddwyd: (1989)

Elements of the theory of computation /
gan: Lewis, Harry R
Cyhoeddwyd: (1981)

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

Elements of the theory of computation /
gan: Lewis, Harry R
Cyhoeddwyd: (1981)