Logos and máthema studies in the philosophy of mathematics and history of logic /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Համատեղ հեղինակ: | |
| Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Frankfurt am Main ; New York :
Peter Lang,
2011.
|
| Շարք: | Polish contemporary philosophy and philosophical humanities,
v. 1 |
| Խորագրեր: | |
| Առցանց հասանելիություն: | An electronic book accessible through the World Wide Web; click to view |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
Essays in the philosophy and history of logic and mathematics
: Murawski, Roman
Հրապարակվել է: (2010)
: Murawski, Roman
Հրապարակվել է: (2010)
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)
Constructibility and mathematical existence
: Chihara, Charles S., 1932-
Հրապարակվել է: (1990)
: Chihara, Charles S., 1932-
Հրապարակվել է: (1990)
New essays on Tarski and philosophy
Հրապարակվել է: (2008)
Հրապարակվել է: (2008)
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)
Strict Finitism and the Logic of Mathematical Applications
: Ye, Feng
Հրապարակվել է: (2011)
: Ye, Feng
Հրապարակվել է: (2011)
Formalism and beyond : on the nature of mathematical discourse /
Հրապարակվել է: (2014)
Հրապարակվել է: (2014)
Constructive Negations and Paraconsistency
: Odintsov, Sergei P.
Հրապարակվել է: (2008)
: Odintsov, Sergei P.
Հրապարակվել է: (2008)
Classical mathematical logic the semantic foundations of logic /
: Epstein, Richard L.
Հրապարակվել է: (2011)
: Epstein, Richard L.
Հրապարակվել է: (2011)
Mathematical logic
: Quine, W. V. (Willard Van Orman)
Հրապարակվել է: (1981)
: Quine, W. V. (Willard Van Orman)
Հրապարակվել է: (1981)
Truth and Falsehood An Inquiry into Generalized Logical Values /
: Shramko, Yaroslav
Հրապարակվել է: (2012)
: Shramko, Yaroslav
Հրապարակվել է: (2012)
Intermediate logic
: Bostock, David
Հրապարակվել է: (1997)
: Bostock, David
Հրապարակվել է: (1997)
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
: Goldblatt, Robert
Հրապարակվել է: (2011)
: Goldblatt, Robert
Հրապարակվել է: (2011)
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
: Kerkhove, Bart
Հրապարակվել է: (2007)
: Kerkhove, Bart
Հրապարակվել է: (2007)
The Arch Papers on the Mathematics of Abstraction
: Cook, Roy T.
Հրապարակվել է: (2007)
: Cook, Roy T.
Հրապարակվել է: (2007)
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)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
: Carnielli, Walter
Հրապարակվել է: (2008)
: Carnielli, Walter
Հրապարակվել է: (2008)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
: Dybjer, P.
Հրապարակվել է: (2012)
: Dybjer, P.
Հրապարակվել է: (2012)
The elements of mathematical logic.
: Rosenbloom, Paul C.
Հրապարակվել է: (1950)
: Rosenbloom, Paul C.
Հրապարակվել է: (1950)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
: DeVidi, David
Հրապարակվել է: (2011)
: DeVidi, David
Հրապարակվել է: (2011)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
: Kupperman, Joel
Հրապարակվել է: (1966)
: Kupperman, Joel
Հրապարակվել է: (1966)
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Հրապարակվել է: (2011)
Հրապարակվել է: (2011)
In the light of logic
: Feferman, Solomon
Հրապարակվել է: (1998)
: Feferman, Solomon
Հրապարակվել է: (1998)
Mathematical logic in the 20th century
Հրապարակվել է: (2003)
Հրապարակվել է: (2003)
Studies in logic
Հրապարակվել է: (1983)
Հրապարակվել է: (1983)
Proof, Computation and Agency Logic at the Crossroads /
: van Benthem, Johan
Հրապարակվել է: (2011)
: van Benthem, Johan
Հրապարակվել է: (2011)
Foundation of abstract mathematics /
: Kurtz, David C.
Հրապարակվել է: (1992)
: Kurtz, David C.
Հրապարակվել է: (1992)
Distilling ideas an introduction to mathematical thinking /
: Katz, Brian P.
Հրապարակվել է: (2013)
: Katz, Brian P.
Հրապարակվել է: (2013)
Foundations without foundationalism a case for second-order logic.
: Shapiro, Stewart, 1951-
Հրապարակվել է: (2000)
: Shapiro, Stewart, 1951-
Հրապարակվել է: (2000)
Logic with trees an introduction to symbolic logic /
: Howson, Colin
Հրապարակվել է: (1997)
: Howson, Colin
Հրապարակվել է: (1997)
Symbolic logic syntax, semantics, and proof /
: Agler, David W., 1982-
Հրապարակվել է: (2013)
: Agler, David W., 1982-
Հրապարակվել է: (2013)
Deducibility and decidability
: Gill, R. R. Rockingham, 1944-
Հրապարակվել է: (1990)
: Gill, R. R. Rockingham, 1944-
Հրապարակվել է: (1990)
Logical dynamics of information and interaction
: Benthem, J. F. A. K. van, 1949-
Հրապարակվել է: (2011)
: Benthem, J. F. A. K. van, 1949-
Հրապարակվել է: (2011)
Philosophy of mathematics and mathematical practice in the seventeenth century
: Mancosu, Paolo
Հրապարակվել է: (1999)
: Mancosu, Paolo
Հրապարակվել է: (1999)
Games: Unifying Logic, Language, and Philosophy
: Majer, Ondrej
Հրապարակվել է: (2009)
: Majer, Ondrej
Հրապարակվել է: (2009)