Εξώφυλλο

Varieties of constructive mathematics

Εμφάνιση άλλων εκδόσεων (1)

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Bridges, Douglas
Μορφή:	Βιβλίο
Έκδοση:	Cambridge Univ. Pr. 1987
Θέματα:	Logic, Symbolic and mathematical
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Logic for mathematicians
από: Hamilton, Alan G., 1943-
Έκδοση: (2001)

Varieties of constructive mathematics /
από: Bridges, Douglas

Tractatus logico-philosophicus/
από: Wittgenstein, Ludwig, 1889-1951
Έκδοση: (1974)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
από: Church, Alonzo
Έκδοση: (1996)

Introduction to mathematical logic /
από: Church, Alonzo
Έκδοση: (1956)

A mathematical introduction to logic /
από: Enderton, Herbert B.
Έκδοση: (2001)

Formal Logic/ Its Scope and Limits
από: Jeffrey, Richard C.
Έκδοση: (1967)

Symbolic Logic/
από: Copi, Irving M.
Έκδοση: (1979)

Introduction to Symbolic Logic/
από: Basson, A. H.
Έκδοση: (1960)

Symbolic Logic/
από: Lee, Harold Newton
Έκδοση: (1961)

Symbolic logic /
από: Copi, Irving M.
Έκδοση: (1979)

Constructive order types/
από: CROSSLEY, John N.
Έκδοση: (1969)

The Essence of Logic / The Essence of Logic
από: Kelly, John
Έκδοση: (1997)

Introduction to Symbolic Logic / Introduction to Symbolic Logic
από: Basson, A. H.
Έκδοση: (1993)

Essential Computer Mathematics
από: Lipschutz, Seymour
Έκδοση: (1982)

Introduction to mathematical logic; set theory / computable functions, model theory.
από: MALITZ, Jerome
Έκδοση: (1979)

Logic for mathematicians /
από: Hamilton, Alan G., 1943-
Έκδοση: (2001)

Leibnits and the seventeenth-century /
από: Meyer, R.W
Έκδοση: (1952)

First steps in model logic /
από: Popkorn, Sally
Έκδοση: (1994)

First steps in model logic
από: Popkorn, Sally
Έκδοση: (1994)

Introduction to mathematical philosophy/
από: Russell, Bertrand
Έκδοση: (1993)

Studying deductive logic/
από: Berger, Fred R.
Έκδοση: (1977)

An introduction to non-classical logic : from if to is / from if to is
από: Priest, Graham
Έκδοση: (2008)

Logic : A Philosophical Introduction /
από: Kaminsky, Jack
Έκδοση: (1974)

Discrete Mathematics
από: Vatsa, B. S.

Principia mathematica to *56 /
από: Whitehead, Alfred North
Έκδοση: (1997)

Logic and Set Theory /
από: Philip, N.
Έκδοση: (1979)

Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
Έκδοση: (1985)

Language logic and mathematics/
από: Kilmister, C.W
Έκδοση: (1967)

Schaum's Outline of Discrete Mathematics
από: Lipschutz, S.
Έκδοση: (1997)

Discrete Mathematics and Its Applications
από: Rosen, K. H.
Έκδοση: (1999)

Readings on Logic
από: Copi
Έκδοση: (1972)

A Concise Introduction to Logic
από: Hurley
Έκδοση: (2006)

Logic: Informal, Symbolic and Inductive
από: Chakraborti
Έκδοση: (2007)

Symbolic Logic
από: Copi
Έκδοση: (1995)

Readings on Logic /
από: Copi, Irving M.
Έκδοση: (1972)

Fundamentals of symbolic logic/
από: AMBROSE, Alice
Έκδοση: (1948)

Threshold logic /
από: LEWIS, P.M
Έκδοση: (1967)

Tractatus logico-philosophicus / tractatus logico philosophicus
από: ডরঃঃমবহংঃবরহ, খঁফরিম
Έκδοση: (2001)

Logic and Proof Techniques / Logic and Proof Techniques
από: Eberle, Rolf A.
Έκδοση: (1996)