Varieties of constructive mathematics
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | গ্রন্থ |
| প্রকাশিত: |
Cambridge Univ. Pr.
1987
|
| বিষয়গুলি: | |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
অনুরূপ উপাদানগুলি
Varieties of constructive mathematics /
অনুযায়ী: Bridges, Douglas
অনুযায়ী: Bridges, Douglas
Logic for mathematicians
অনুযায়ী: Hamilton, Alan G., 1943-
প্রকাশিত: (2001)
অনুযায়ী: Hamilton, Alan G., 1943-
প্রকাশিত: (2001)
Introduction to Mathematical Logic / Introduction to Mathematical Logic
অনুযায়ী: Church, Alonzo
প্রকাশিত: (1996)
অনুযায়ী: Church, Alonzo
প্রকাশিত: (1996)
Introduction to mathematical logic /
অনুযায়ী: Church, Alonzo
প্রকাশিত: (1956)
অনুযায়ী: Church, Alonzo
প্রকাশিত: (1956)
A mathematical introduction to logic /
অনুযায়ী: Enderton, Herbert B.
প্রকাশিত: (2001)
অনুযায়ী: Enderton, Herbert B.
প্রকাশিত: (2001)
Tractatus logico-philosophicus/
অনুযায়ী: Wittgenstein, Ludwig, 1889-1951
প্রকাশিত: (1974)
অনুযায়ী: Wittgenstein, Ludwig, 1889-1951
প্রকাশিত: (1974)
Formal Logic/ Its Scope and Limits
অনুযায়ী: Jeffrey, Richard C.
প্রকাশিত: (1967)
অনুযায়ী: Jeffrey, Richard C.
প্রকাশিত: (1967)
Symbolic Logic/
অনুযায়ী: Copi, Irving M.
প্রকাশিত: (1979)
অনুযায়ী: Copi, Irving M.
প্রকাশিত: (1979)
Introduction to Symbolic Logic/
অনুযায়ী: Basson, A. H.
প্রকাশিত: (1960)
অনুযায়ী: Basson, A. H.
প্রকাশিত: (1960)
Symbolic logic /
অনুযায়ী: Copi, Irving M.
প্রকাশিত: (1979)
অনুযায়ী: Copi, Irving M.
প্রকাশিত: (1979)
Symbolic Logic/
অনুযায়ী: Lee, Harold Newton
প্রকাশিত: (1961)
অনুযায়ী: Lee, Harold Newton
প্রকাশিত: (1961)
Constructive order types/
অনুযায়ী: CROSSLEY, John N.
প্রকাশিত: (1969)
অনুযায়ী: CROSSLEY, John N.
প্রকাশিত: (1969)
Essential Computer Mathematics
অনুযায়ী: Lipschutz, Seymour
প্রকাশিত: (1982)
অনুযায়ী: Lipschutz, Seymour
প্রকাশিত: (1982)
The Essence of Logic / The Essence of Logic
অনুযায়ী: Kelly, John
প্রকাশিত: (1997)
অনুযায়ী: Kelly, John
প্রকাশিত: (1997)
Introduction to Symbolic Logic / Introduction to Symbolic Logic
অনুযায়ী: Basson, A. H.
প্রকাশিত: (1993)
অনুযায়ী: Basson, A. H.
প্রকাশিত: (1993)
Introduction to mathematical logic; set theory / computable functions, model theory.
অনুযায়ী: MALITZ, Jerome
প্রকাশিত: (1979)
অনুযায়ী: MALITZ, Jerome
প্রকাশিত: (1979)
Logic for mathematicians /
অনুযায়ী: Hamilton, Alan G., 1943-
প্রকাশিত: (2001)
অনুযায়ী: Hamilton, Alan G., 1943-
প্রকাশিত: (2001)
Leibnits and the seventeenth-century /
অনুযায়ী: Meyer, R.W
প্রকাশিত: (1952)
অনুযায়ী: Meyer, R.W
প্রকাশিত: (1952)
First steps in model logic /
অনুযায়ী: Popkorn, Sally
প্রকাশিত: (1994)
অনুযায়ী: Popkorn, Sally
প্রকাশিত: (1994)
First steps in model logic
অনুযায়ী: Popkorn, Sally
প্রকাশিত: (1994)
অনুযায়ী: Popkorn, Sally
প্রকাশিত: (1994)
Introduction to mathematical philosophy/
অনুযায়ী: Russell, Bertrand
প্রকাশিত: (1993)
অনুযায়ী: Russell, Bertrand
প্রকাশিত: (1993)
Studying deductive logic/
অনুযায়ী: Berger, Fred R.
প্রকাশিত: (1977)
অনুযায়ী: Berger, Fred R.
প্রকাশিত: (1977)
Logic : A Philosophical Introduction /
অনুযায়ী: Kaminsky, Jack
প্রকাশিত: (1974)
অনুযায়ী: Kaminsky, Jack
প্রকাশিত: (1974)
An introduction to non-classical logic : from if to is / from if to is
অনুযায়ী: Priest, Graham
প্রকাশিত: (2008)
অনুযায়ী: Priest, Graham
প্রকাশিত: (2008)
Principia mathematica to *56 /
অনুযায়ী: Whitehead, Alfred North
প্রকাশিত: (1997)
অনুযায়ী: Whitehead, Alfred North
প্রকাশিত: (1997)
Discrete Mathematics
অনুযায়ী: Vatsa, B. S.
অনুযায়ী: Vatsa, B. S.
Logic and Set Theory /
অনুযায়ী: Philip, N.
প্রকাশিত: (1979)
অনুযায়ী: Philip, N.
প্রকাশিত: (1979)
Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
প্রকাশিত: (1985)
প্রকাশিত: (1985)
Language logic and mathematics/
অনুযায়ী: Kilmister, C.W
প্রকাশিত: (1967)
অনুযায়ী: Kilmister, C.W
প্রকাশিত: (1967)
Schaum's Outline of Discrete Mathematics
অনুযায়ী: Lipschutz, S.
প্রকাশিত: (1997)
অনুযায়ী: Lipschutz, S.
প্রকাশিত: (1997)
Discrete Mathematics and Its Applications
অনুযায়ী: Rosen, K. H.
প্রকাশিত: (1999)
অনুযায়ী: Rosen, K. H.
প্রকাশিত: (1999)
Threshold logic /
অনুযায়ী: LEWIS, P.M
প্রকাশিত: (1967)
অনুযায়ী: LEWIS, P.M
প্রকাশিত: (1967)
Fundamentals of symbolic logic/
অনুযায়ী: AMBROSE, Alice
প্রকাশিত: (1948)
অনুযায়ী: AMBROSE, Alice
প্রকাশিত: (1948)
Logic and Proof Techniques / Logic and Proof Techniques
অনুযায়ী: Eberle, Rolf A.
প্রকাশিত: (1996)
অনুযায়ী: Eberle, Rolf A.
প্রকাশিত: (1996)
Tractatus logico-philosophicus / tractatus logico philosophicus
অনুযায়ী: ডরঃঃমবহংঃবরহ, খঁফরিম
প্রকাশিত: (2001)
অনুযায়ী: ডরঃঃমবহংঃবরহ, খঁফরিম
প্রকাশিত: (2001)
Readings on Logic
অনুযায়ী: Copi
প্রকাশিত: (1972)
অনুযায়ী: Copi
প্রকাশিত: (1972)