Image de couverture de livre

QR Code

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

Enregistré dans:

Détails bibliographiques
Auteur principal:	Murawski, Roman
Collectivité auteur:	ebrary, Inc
Format:	Électronique eBook
Langue:	anglais
Publié:	Frankfurt am Main ; New York : Peter Lang, 2011.
Collection:	Polish contemporary philosophy and philosophical humanities, v. 1
Sujets:	Mathematics > Philosophy. Mathematics > Philosophy > History > 20th century. Logic > History. Logic, Symbolic and mathematical. Electronic books.
Accès en ligne:	An electronic book accessible through the World Wide Web; click to view
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Essays in the philosophy and history of logic and mathematics
par: Murawski, Roman
Publié: (2010)

The Oxford handbook of philosophy of mathematics and logic
Publié: (2005)

Foundational Theories of Classical and Constructive Mathematics
par: Sommaruga, Giovanni
Publié: (2011)

Proof and knowledge in mathematics
Publié: (1992)

Constructibility and mathematical existence
par: Chihara, Charles S., 1932-
Publié: (1990)

New essays on Tarski and philosophy
Publié: (2008)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
par: Benthem, Johan
Publié: (2006)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
par: Hopkins, Burt C.
Publié: (2011)

Philosophy of mathematics in the twentieth century : selected essays /
par: Parsons, Charles, 1933-
Publié: (2014)

Strict Finitism and the Logic of Mathematical Applications
par: Ye, Feng
Publié: (2011)

Formalism and beyond : on the nature of mathematical discourse /
Publié: (2014)

Constructive Negations and Paraconsistency
par: Odintsov, Sergei P.
Publié: (2008)

Mathematical logic
par: Quine, W. V. (Willard Van Orman)
Publié: (1981)

Classical mathematical logic the semantic foundations of logic /
par: Epstein, Richard L.
Publié: (2011)

Truth and Falsehood An Inquiry into Generalized Logical Values /
par: Shramko, Yaroslav
Publié: (2012)

Intermediate logic
par: Bostock, David
Publié: (1997)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
par: Goldblatt, Robert
Publié: (2011)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
par: Kerkhove, Bart
Publié: (2007)

The Arch Papers on the Mathematics of Abstraction
par: Cook, Roy T.
Publié: (2007)

Mathematical logic
par: Chiswell, Ian, 1948-
Publié: (2007)

Logic and Philosophy of Mathematics in the Early Husserl
par: Centrone, Stefania
Publié: (2010)

The elements of mathematical logic.
par: Rosenbloom, Paul C.
Publié: (1950)

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
par: Carnielli, Walter
Publié: (2008)

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
par: Dybjer, P.
Publié: (2012)

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
par: DeVidi, David
Publié: (2011)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
par: Kupperman, Joel
Publié: (1966)

In the light of logic
par: Feferman, Solomon
Publié: (1998)

Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Publié: (2011)

Mathematical logic in the 20th century
Publié: (2003)

Studies in logic
Publié: (1983)

Proof, Computation and Agency Logic at the Crossroads /
par: van Benthem, Johan
Publié: (2011)

Foundation of abstract mathematics /
par: Kurtz, David C.
Publié: (1992)

Foundations without foundationalism a case for second-order logic.
par: Shapiro, Stewart, 1951-
Publié: (2000)

Distilling ideas an introduction to mathematical thinking /
par: Katz, Brian P.
Publié: (2013)

Logic with trees an introduction to symbolic logic /
par: Howson, Colin
Publié: (1997)

Symbolic logic syntax, semantics, and proof /
par: Agler, David W., 1982-
Publié: (2013)

Deducibility and decidability
par: Gill, R. R. Rockingham, 1944-
Publié: (1990)

Logical dynamics of information and interaction
par: Benthem, J. F. A. K. van, 1949-
Publié: (2011)

Philosophy of mathematics and mathematical practice in the seventeenth century
par: Mancosu, Paolo
Publié: (1999)

Games: Unifying Logic, Language, and Philosophy
par: Majer, Ondrej
Publié: (2009)