Omslagsbild

QR-kod

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

Sparad:

Bibliografiska uppgifter
Huvudskapare:	Murawski, Roman
Institutionell skapare:	ebrary, Inc
Materialtyp:	Elektronisk E-bok
Språk:	engelska
Publicerad:	Frankfurt am Main ; New York : Peter Lang, 2011.
Serie:	Polish contemporary philosophy and philosophical humanities, v. 1
Ämnen:	Mathematics > Philosophy. Mathematics > Philosophy > History > 20th century. Logic > History. Logic, Symbolic and mathematical. Electronic books.
Länkar:	An electronic book accessible through the World Wide Web; click to view
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Liknande verk

Essays in the philosophy and history of logic and mathematics
av: Murawski, Roman
Publicerad: (2010)

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

Foundational Theories of Classical and Constructive Mathematics
av: Sommaruga, Giovanni
Publicerad: (2011)

Proof and knowledge in mathematics
Publicerad: (1992)

Constructibility and mathematical existence
av: Chihara, Charles S., 1932-
Publicerad: (1990)

New essays on Tarski and philosophy
Publicerad: (2008)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
av: Benthem, Johan
Publicerad: (2006)

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

Philosophy of mathematics in the twentieth century : selected essays /
av: Parsons, Charles, 1933-
Publicerad: (2014)

Strict Finitism and the Logic of Mathematical Applications
av: Ye, Feng
Publicerad: (2011)

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

Constructive Negations and Paraconsistency
av: Odintsov, Sergei P.
Publicerad: (2008)

Classical mathematical logic the semantic foundations of logic /
av: Epstein, Richard L.
Publicerad: (2011)

Mathematical logic
av: Quine, W. V. (Willard Van Orman)
Publicerad: (1981)

Truth and Falsehood An Inquiry into Generalized Logical Values /
av: Shramko, Yaroslav
Publicerad: (2012)

Intermediate logic
av: Bostock, David
Publicerad: (1997)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
av: Goldblatt, Robert
Publicerad: (2011)

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

The Arch Papers on the Mathematics of Abstraction
av: Cook, Roy T.
Publicerad: (2007)

Mathematical logic
av: Chiswell, Ian, 1948-
Publicerad: (2007)

Logic and Philosophy of Mathematics in the Early Husserl
av: Centrone, Stefania
Publicerad: (2010)

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

The elements of mathematical logic.
av: Rosenbloom, Paul C.
Publicerad: (1950)

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

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

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

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

In the light of logic
av: Feferman, Solomon
Publicerad: (1998)

Mathematical logic in the 20th century
Publicerad: (2003)

Studies in logic
Publicerad: (1983)

Proof, Computation and Agency Logic at the Crossroads /
av: van Benthem, Johan
Publicerad: (2011)

Foundation of abstract mathematics /
av: Kurtz, David C.
Publicerad: (1992)

Distilling ideas an introduction to mathematical thinking /
av: Katz, Brian P.
Publicerad: (2013)

Foundations without foundationalism a case for second-order logic.
av: Shapiro, Stewart, 1951-
Publicerad: (2000)

Logic with trees an introduction to symbolic logic /
av: Howson, Colin
Publicerad: (1997)

Symbolic logic syntax, semantics, and proof /
av: Agler, David W., 1982-
Publicerad: (2013)

Deducibility and decidability
av: Gill, R. R. Rockingham, 1944-
Publicerad: (1990)

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

Philosophy of mathematics and mathematical practice in the seventeenth century
av: Mancosu, Paolo
Publicerad: (1999)

Games: Unifying Logic, Language, and Philosophy
av: Majer, Ondrej
Publicerad: (2009)