Distilling ideas an introduction to mathematical thinking /
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| সংস্থা লেখক: | |
| অন্যান্য লেখক: | |
| বিন্যাস: | বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Washington, DC :
Mathematical Association of America,
2013.
|
| সংস্করন: | 1st ed. |
| মালা: | MAA textbooks
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | An electronic book accessible through the World Wide Web; click to view |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
অনুরূপ উপাদানগুলি
Formalism and beyond : on the nature of mathematical discourse /
প্রকাশিত: (2014)
প্রকাশিত: (2014)
Philosophy of mathematics in the twentieth century : selected essays /
অনুযায়ী: Parsons, Charles, 1933-
প্রকাশিত: (2014)
অনুযায়ী: Parsons, Charles, 1933-
প্রকাশিত: (2014)
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
অনুযায়ী: Hopkins, Burt C.
প্রকাশিত: (2011)
অনুযায়ী: Hopkins, Burt C.
প্রকাশিত: (2011)
Foundation of abstract mathematics /
অনুযায়ী: Kurtz, David C.
প্রকাশিত: (1992)
অনুযায়ী: Kurtz, David C.
প্রকাশিত: (1992)
Mathematical logic
অনুযায়ী: Chiswell, Ian, 1948-
প্রকাশিত: (2007)
অনুযায়ী: Chiswell, Ian, 1948-
প্রকাশিত: (2007)
Mathematical logic in the 20th century
প্রকাশিত: (2003)
প্রকাশিত: (2003)
Classical mathematical logic the semantic foundations of logic /
অনুযায়ী: Epstein, Richard L.
প্রকাশিত: (2011)
অনুযায়ী: Epstein, Richard L.
প্রকাশিত: (2011)
In the light of logic
অনুযায়ী: Feferman, Solomon
প্রকাশিত: (1998)
অনুযায়ী: Feferman, Solomon
প্রকাশিত: (1998)
Foundations without foundationalism a case for second-order logic.
অনুযায়ী: Shapiro, Stewart, 1951-
প্রকাশিত: (2000)
অনুযায়ী: Shapiro, Stewart, 1951-
প্রকাশিত: (2000)
Publications 1929-1936 /
অনুযায়ী: Gödel, Kurt
প্রকাশিত: (1986)
অনুযায়ী: Gödel, Kurt
প্রকাশিত: (1986)
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
অনুযায়ী: Goldblatt, Robert
প্রকাশিত: (2011)
অনুযায়ী: Goldblatt, Robert
প্রকাশিত: (2011)
Logical dynamics of information and interaction
অনুযায়ী: Benthem, J. F. A. K. van, 1949-
প্রকাশিত: (2011)
অনুযায়ী: Benthem, J. F. A. K. van, 1949-
প্রকাশিত: (2011)
Concepts of proof in mathematics, philosophy, and computer science /
প্রকাশিত: (2016)
প্রকাশিত: (2016)
Mathematical logic
অনুযায়ী: Tourlakis, George J.
প্রকাশিত: (2003)
অনুযায়ী: Tourlakis, George J.
প্রকাশিত: (2003)
Logic and discrete mathematics : a concise introduction /
অনুযায়ী: Conradie, Willem, 1978-, অন্যান্য
প্রকাশিত: (2015)
অনুযায়ী: Conradie, Willem, 1978-, অন্যান্য
প্রকাশিত: (2015)
Logic and discrete mathematics : a concise introduction /
অনুযায়ী: Conradie, Willem, 1978-, অন্যান্য
প্রকাশিত: (2015)
অনুযায়ী: Conradie, Willem, 1978-, অন্যান্য
প্রকাশিত: (2015)
A tour through mathematical logic
অনুযায়ী: Wolf, Robert S.
প্রকাশিত: (2005)
অনুযায়ী: Wolf, Robert S.
প্রকাশিত: (2005)
Paradox and paraconsistency conflict resolution in the abstract sciences /
অনুযায়ী: Woods, John
প্রকাশিত: (2003)
অনুযায়ী: Woods, John
প্রকাশিত: (2003)
Diamond a paradox logic /
অনুযায়ী: Hellerstein, N. S. (Nathaniel S.)
প্রকাশিত: (2010)
অনুযায়ী: Hellerstein, N. S. (Nathaniel S.)
প্রকাশিত: (2010)
Recursion theory for metamathematics
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1993)
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1993)
Proof, logic, and formalization
প্রকাশিত: (1992)
প্রকাশিত: (1992)
Tracking reason proof, consequence, and truth /
অনুযায়ী: Azzouni, Jody
প্রকাশিত: (2006)
অনুযায়ী: Azzouni, Jody
প্রকাশিত: (2006)
Institution-independent model theory
অনুযায়ী: Diaconescu, Răzvan
প্রকাশিত: (2008)
অনুযায়ী: Diaconescu, Răzvan
প্রকাশিত: (2008)
Gödel's incompleteness theorems
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1992)
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1992)
Infinity and the mind : the science and philosophy of the infinite /
অনুযায়ী: Rucker, Rudy
প্রকাশিত: (1982)
অনুযায়ী: Rucker, Rudy
প্রকাশিত: (1982)
The birth of model theory Löwenheim's theorem in the frame of the theory of relatives /
অনুযায়ী: Badesa, Calixto
প্রকাশিত: (2004)
অনুযায়ী: Badesa, Calixto
প্রকাশিত: (2004)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
প্রকাশিত: (1998)
প্রকাশিত: (1998)
Logic without borders /
প্রকাশিত: (2015)
প্রকাশিত: (2015)
Infinity and truth /
প্রকাশিত: (2014)
প্রকাশিত: (2014)
Logical reasoning with diagrams
প্রকাশিত: (1996)
প্রকাশিত: (1996)
Essays on non-classical logic
প্রকাশিত: (2001)
প্রকাশিত: (2001)
Proof and knowledge in mathematics
প্রকাশিত: (1992)
প্রকাশিত: (1992)
The Oxford handbook of philosophy of mathematics and logic
প্রকাশিত: (2005)
প্রকাশিত: (2005)
Foundational Theories of Classical and Constructive Mathematics
অনুযায়ী: Sommaruga, Giovanni
প্রকাশিত: (2011)
অনুযায়ী: Sommaruga, Giovanni
প্রকাশিত: (2011)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
অনুযায়ী: Benthem, Johan
প্রকাশিত: (2006)
অনুযায়ী: Benthem, Johan
প্রকাশিত: (2006)
Constructibility and mathematical existence
অনুযায়ী: Chihara, Charles S., 1932-
প্রকাশিত: (1990)
অনুযায়ী: Chihara, Charles S., 1932-
প্রকাশিত: (1990)
Mathematical logic
অনুযায়ী: Quine, W. V. (Willard Van Orman)
প্রকাশিত: (1981)
অনুযায়ী: Quine, W. V. (Willard Van Orman)
প্রকাশিত: (1981)
Constructive Negations and Paraconsistency
অনুযায়ী: Odintsov, Sergei P.
প্রকাশিত: (2008)
অনুযায়ী: Odintsov, Sergei P.
প্রকাশিত: (2008)
The elements of mathematical logic.
অনুযায়ী: Rosenbloom, Paul C.
প্রকাশিত: (1950)
অনুযায়ী: Rosenbloom, Paul C.
প্রকাশিত: (1950)
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
প্রকাশিত: (2011)
প্রকাশিত: (2011)