Kapak Resmi

QR Kod

Logos and máthema studies in the philosophy of mathematics and history of logic /

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Murawski, Roman
Müşterek Yazar:	ebrary, Inc
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Frankfurt am Main ; New York : Peter Lang, 2011.
Seri Bilgileri:	Polish contemporary philosophy and philosophical humanities, v. 1
Konular:	Mathematics > Philosophy. Mathematics > Philosophy > History > 20th century. Logic > History. Logic, Symbolic and mathematical. Electronic books.
Online Erişim:	An electronic book accessible through the World Wide Web; click to view
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Essays in the philosophy and history of logic and mathematics
Yazar:: Murawski, Roman
Baskı/Yayın Bilgisi: (2010)

The Oxford handbook of philosophy of mathematics and logic
Baskı/Yayın Bilgisi: (2005)

Foundational Theories of Classical and Constructive Mathematics
Yazar:: Sommaruga, Giovanni
Baskı/Yayın Bilgisi: (2011)

Proof and knowledge in mathematics
Baskı/Yayın Bilgisi: (1992)

Constructibility and mathematical existence
Yazar:: Chihara, Charles S., 1932-
Baskı/Yayın Bilgisi: (1990)

New essays on Tarski and philosophy
Baskı/Yayın Bilgisi: (2008)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
Yazar:: Benthem, Johan
Baskı/Yayın Bilgisi: (2006)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
Yazar:: Hopkins, Burt C.
Baskı/Yayın Bilgisi: (2011)

Philosophy of mathematics in the twentieth century : selected essays /
Yazar:: Parsons, Charles, 1933-
Baskı/Yayın Bilgisi: (2014)

Strict Finitism and the Logic of Mathematical Applications
Yazar:: Ye, Feng
Baskı/Yayın Bilgisi: (2011)

Formalism and beyond : on the nature of mathematical discourse /
Baskı/Yayın Bilgisi: (2014)

Constructive Negations and Paraconsistency
Yazar:: Odintsov, Sergei P.
Baskı/Yayın Bilgisi: (2008)

Mathematical logic
Yazar:: Quine, W. V. (Willard Van Orman)
Baskı/Yayın Bilgisi: (1981)

Classical mathematical logic the semantic foundations of logic /
Yazar:: Epstein, Richard L.
Baskı/Yayın Bilgisi: (2011)

Truth and Falsehood An Inquiry into Generalized Logical Values /
Yazar:: Shramko, Yaroslav
Baskı/Yayın Bilgisi: (2012)

Intermediate logic
Yazar:: Bostock, David
Baskı/Yayın Bilgisi: (1997)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
Yazar:: Goldblatt, Robert
Baskı/Yayın Bilgisi: (2011)

Mathematical logic
Yazar:: Chiswell, Ian, 1948-
Baskı/Yayın Bilgisi: (2007)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
Yazar:: Kerkhove, Bart
Baskı/Yayın Bilgisi: (2007)

The Arch Papers on the Mathematics of Abstraction
Yazar:: Cook, Roy T.
Baskı/Yayın Bilgisi: (2007)

The elements of mathematical logic.
Yazar:: Rosenbloom, Paul C.
Baskı/Yayın Bilgisi: (1950)

Logic and Philosophy of Mathematics in the Early Husserl
Yazar:: Centrone, Stefania
Baskı/Yayın Bilgisi: (2010)

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
Yazar:: Carnielli, Walter
Baskı/Yayın Bilgisi: (2008)

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
Yazar:: Dybjer, P.
Baskı/Yayın Bilgisi: (2012)

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
Yazar:: DeVidi, David
Baskı/Yayın Bilgisi: (2011)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
Yazar:: Kupperman, Joel
Baskı/Yayın Bilgisi: (1966)

In the light of logic
Yazar:: Feferman, Solomon
Baskı/Yayın Bilgisi: (1998)

Studies in logic
Baskı/Yayın Bilgisi: (1983)

Mathematical logic in the 20th century
Baskı/Yayın Bilgisi: (2003)

Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Baskı/Yayın Bilgisi: (2011)

Proof, Computation and Agency Logic at the Crossroads /
Yazar:: van Benthem, Johan
Baskı/Yayın Bilgisi: (2011)

Foundation of abstract mathematics /
Yazar:: Kurtz, David C.
Baskı/Yayın Bilgisi: (1992)

Foundations without foundationalism a case for second-order logic.
Yazar:: Shapiro, Stewart, 1951-
Baskı/Yayın Bilgisi: (2000)

Logic with trees an introduction to symbolic logic /
Yazar:: Howson, Colin
Baskı/Yayın Bilgisi: (1997)

Distilling ideas an introduction to mathematical thinking /
Yazar:: Katz, Brian P.
Baskı/Yayın Bilgisi: (2013)

Symbolic logic syntax, semantics, and proof /
Yazar:: Agler, David W., 1982-
Baskı/Yayın Bilgisi: (2013)

Deducibility and decidability
Yazar:: Gill, R. R. Rockingham, 1944-
Baskı/Yayın Bilgisi: (1990)

Logical dynamics of information and interaction
Yazar:: Benthem, J. F. A. K. van, 1949-
Baskı/Yayın Bilgisi: (2011)

Philosophy of mathematics and mathematical practice in the seventeenth century
Yazar:: Mancosu, Paolo
Baskı/Yayın Bilgisi: (1999)

Games: Unifying Logic, Language, and Philosophy
Yazar:: Majer, Ondrej
Baskı/Yayın Bilgisi: (2009)