Essays in the philosophy and history of logic and mathematics
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Համատեղ հեղինակ: | |
| Այլ հեղինակներ: | |
| Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Amsterdam :
Rodopi,
2010.
|
| Շարք: | Poznań studies in the philosophy of the sciences and the humanities ;
v. 98. |
| Խորագրեր: | |
| Առցանց հասանելիություն: | An electronic book accessible through the World Wide Web; click to view |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
Logos and máthema studies in the philosophy of mathematics and history of logic /
: Murawski, Roman
Հրապարակվել է: (2011)
: Murawski, Roman
Հրապարակվել է: (2011)
The Oxford handbook of philosophy of mathematics and logic
Հրապարակվել է: (2005)
Հրապարակվել է: (2005)
Foundational Theories of Classical and Constructive Mathematics
: Sommaruga, Giovanni
Հրապարակվել է: (2011)
: Sommaruga, Giovanni
Հրապարակվել է: (2011)
Proof and knowledge in mathematics
Հրապարակվել է: (1992)
Հրապարակվել է: (1992)
New essays on Tarski and philosophy
Հրապարակվել է: (2008)
Հրապարակվել է: (2008)
Constructibility and mathematical existence
: Chihara, Charles S., 1932-
Հրապարակվել է: (1990)
: Chihara, Charles S., 1932-
Հրապարակվել է: (1990)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
: Benthem, Johan
Հրապարակվել է: (2006)
: Benthem, Johan
Հրապարակվել է: (2006)
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
: Hopkins, Burt C.
Հրապարակվել է: (2011)
: Hopkins, Burt C.
Հրապարակվել է: (2011)
Philosophy of mathematics in the twentieth century : selected essays /
: Parsons, Charles, 1933-
Հրապարակվել է: (2014)
: Parsons, Charles, 1933-
Հրապարակվել է: (2014)
Mathematical logic
: Quine, W. V. (Willard Van Orman)
Հրապարակվել է: (1981)
: Quine, W. V. (Willard Van Orman)
Հրապարակվել է: (1981)
Strict Finitism and the Logic of Mathematical Applications
: Ye, Feng
Հրապարակվել է: (2011)
: Ye, Feng
Հրապարակվել է: (2011)
Classical mathematical logic the semantic foundations of logic /
: Epstein, Richard L.
Հրապարակվել է: (2011)
: Epstein, Richard L.
Հրապարակվել է: (2011)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
: DeVidi, David
Հրապարակվել է: (2011)
: DeVidi, David
Հրապարակվել է: (2011)
Mathematical logic
: Chiswell, Ian, 1948-
Հրապարակվել է: (2007)
: Chiswell, Ian, 1948-
Հրապարակվել է: (2007)
Logic and Philosophy of Mathematics in the Early Husserl
: Centrone, Stefania
Հրապարակվել է: (2010)
: Centrone, Stefania
Հրապարակվել է: (2010)
The elements of mathematical logic.
: Rosenbloom, Paul C.
Հրապարակվել է: (1950)
: Rosenbloom, Paul C.
Հրապարակվել է: (1950)
Intermediate logic
: Bostock, David
Հրապարակվել է: (1997)
: Bostock, David
Հրապարակվել է: (1997)
Mathematical logic in the 20th century
Հրապարակվել է: (2003)
Հրապարակվել է: (2003)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
: Kupperman, Joel
Հրապարակվել է: (1966)
: Kupperman, Joel
Հրապարակվել է: (1966)
In the light of logic
: Feferman, Solomon
Հրապարակվել է: (1998)
: Feferman, Solomon
Հրապարակվել է: (1998)
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
: Kerkhove, Bart
Հրապարակվել է: (2007)
: Kerkhove, Bart
Հրապարակվել է: (2007)
A logical Approach to Philosophy Essays in Honour of Graham Solomon /
: Devidi, David
Հրապարակվել է: (2006)
: Devidi, David
Հրապարակվել է: (2006)
The Arch Papers on the Mathematics of Abstraction
: Cook, Roy T.
Հրապարակվել է: (2007)
: Cook, Roy T.
Հրապարակվել է: (2007)
Formalism and beyond : on the nature of mathematical discourse /
Հրապարակվել է: (2014)
Հրապարակվել է: (2014)
Mathematical logic
: Tourlakis, George J.
Հրապարակվել է: (2003)
: Tourlakis, George J.
Հրապարակվել է: (2003)
Constructive Negations and Paraconsistency
: Odintsov, Sergei P.
Հրապարակվել է: (2008)
: Odintsov, Sergei P.
Հրապարակվել է: (2008)
Logic with trees an introduction to symbolic logic /
: Howson, Colin
Հրապարակվել է: (1997)
: Howson, Colin
Հրապարակվել է: (1997)
Studies in logic
Հրապարակվել է: (1983)
Հրապարակվել է: (1983)
Symbolic logic syntax, semantics, and proof /
: Agler, David W., 1982-
Հրապարակվել է: (2013)
: Agler, David W., 1982-
Հրապարակվել է: (2013)
Philosophy of mathematics and mathematical practice in the seventeenth century
: Mancosu, Paolo
Հրապարակվել է: (1999)
: Mancosu, Paolo
Հրապարակվել է: (1999)
Philosophy of mathematics structure and ontology /
: Shapiro, Stewart, 1951-
Հրապարակվել է: (1997)
: Shapiro, Stewart, 1951-
Հրապարակվել է: (1997)
Truth and Falsehood An Inquiry into Generalized Logical Values /
: Shramko, Yaroslav
Հրապարակվել է: (2012)
: Shramko, Yaroslav
Հրապարակվել է: (2012)
Games: Unifying Logic, Language, and Philosophy
: Majer, Ondrej
Հրապարակվել է: (2009)
: Majer, Ondrej
Հրապարակվել է: (2009)
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Հրապարակվել է: (2011)
Հրապարակվել է: (2011)
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Հրապարակվել է: (2006)
Հրապարակվել է: (2006)
Foundation of abstract mathematics /
: Kurtz, David C.
Հրապարակվել է: (1992)
: Kurtz, David C.
Հրապարակվել է: (1992)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
: Dybjer, P.
Հրապարակվել է: (2012)
: Dybjer, P.
Հրապարակվել է: (2012)
Logical dynamics of information and interaction
: Benthem, J. F. A. K. van, 1949-
Հրապարակվել է: (2011)
: Benthem, J. F. A. K. van, 1949-
Հրապարակվել է: (2011)
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
: Goldblatt, Robert
Հրապարակվել է: (2011)
: Goldblatt, Robert
Հրապարակվել է: (2011)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
: Carnielli, Walter
Հրապարակվել է: (2008)
: Carnielli, Walter
Հրապարակվել է: (2008)