Bearbmagovva

Varieties of constructive mathematics

Čájet eará veršuvnnaid (1)

Furkejuvvon:

Bibliográfalaš dieđut
Váldodahkki:	Bridges, Douglas
Materiálatiipa:	Girji
Almmustuhtton:	Cambridge Univ. Pr. 1987
Fáttát:	Logic, Symbolic and mathematical
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Geahča maid

Varieties of constructive mathematics /
Dahkki: Bridges, Douglas

Logic for mathematicians
Dahkki: Hamilton, Alan G., 1943-
Almmustuhtton: (2001)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
Dahkki: Church, Alonzo
Almmustuhtton: (1996)

Introduction to mathematical logic /
Dahkki: Church, Alonzo
Almmustuhtton: (1956)

A mathematical introduction to logic /
Dahkki: Enderton, Herbert B.
Almmustuhtton: (2001)

Tractatus logico-philosophicus/
Dahkki: Wittgenstein, Ludwig, 1889-1951
Almmustuhtton: (1974)

Formal Logic/ Its Scope and Limits
Dahkki: Jeffrey, Richard C.
Almmustuhtton: (1967)

Symbolic Logic/
Dahkki: Copi, Irving M.
Almmustuhtton: (1979)

Introduction to Symbolic Logic/
Dahkki: Basson, A. H.
Almmustuhtton: (1960)

Symbolic Logic/
Dahkki: Lee, Harold Newton
Almmustuhtton: (1961)

Symbolic logic /
Dahkki: Copi, Irving M.
Almmustuhtton: (1979)

Constructive order types/
Dahkki: CROSSLEY, John N.
Almmustuhtton: (1969)

Essential Computer Mathematics
Dahkki: Lipschutz, Seymour
Almmustuhtton: (1982)

The Essence of Logic / The Essence of Logic
Dahkki: Kelly, John
Almmustuhtton: (1997)

Introduction to Symbolic Logic / Introduction to Symbolic Logic
Dahkki: Basson, A. H.
Almmustuhtton: (1993)

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

Logic for mathematicians /
Dahkki: Hamilton, Alan G., 1943-
Almmustuhtton: (2001)

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

First steps in model logic /
Dahkki: Popkorn, Sally
Almmustuhtton: (1994)

First steps in model logic
Dahkki: Popkorn, Sally
Almmustuhtton: (1994)

Introduction to mathematical philosophy/
Dahkki: Russell, Bertrand
Almmustuhtton: (1993)

Studying deductive logic/
Dahkki: Berger, Fred R.
Almmustuhtton: (1977)

An introduction to non-classical logic : from if to is / from if to is
Dahkki: Priest, Graham
Almmustuhtton: (2008)

Logic : A Philosophical Introduction /
Dahkki: Kaminsky, Jack
Almmustuhtton: (1974)

Principia mathematica to *56 /
Dahkki: Whitehead, Alfred North
Almmustuhtton: (1997)

Discrete Mathematics
Dahkki: Vatsa, B. S.

Logic and Set Theory /
Dahkki: Philip, N.
Almmustuhtton: (1979)

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

Language logic and mathematics/
Dahkki: Kilmister, C.W
Almmustuhtton: (1967)

Discrete Mathematics and Its Applications
Dahkki: Rosen, K. H.
Almmustuhtton: (1999)

Schaum's Outline of Discrete Mathematics
Dahkki: Lipschutz, S.
Almmustuhtton: (1997)

Fundamentals of symbolic logic/
Dahkki: AMBROSE, Alice
Almmustuhtton: (1948)

Threshold logic /
Dahkki: LEWIS, P.M
Almmustuhtton: (1967)

Tractatus logico-philosophicus / tractatus logico philosophicus
Dahkki: ডরঃঃমবহংঃবরহ, খঁফরিম
Almmustuhtton: (2001)

Logic and Proof Techniques / Logic and Proof Techniques
Dahkki: Eberle, Rolf A.
Almmustuhtton: (1996)

Readings on Logic
Dahkki: Copi
Almmustuhtton: (1972)

A Concise Introduction to Logic
Dahkki: Hurley
Almmustuhtton: (2006)

Logic: Informal, Symbolic and Inductive
Dahkki: Chakraborti
Almmustuhtton: (2007)

Symbolic Logic
Dahkki: Copi
Almmustuhtton: (1995)

Readings on Logic /
Dahkki: Copi, Irving M.
Almmustuhtton: (1972)