Essays in the philosophy and history of logic and mathematics

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

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

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)

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)

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

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

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)

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

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

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)

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

A logical Approach to Philosophy Essays in Honour of Graham Solomon /
par: Devidi, David
Publié: (2006)

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

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

Mathematical logic
par: Tourlakis, George J.
Publié: (2003)

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

Studies in logic
Publié: (1983)

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

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

Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Publié: (2006)

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

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

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

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

Philosophy of mathematics structure and ontology /
par: Shapiro, Stewart, 1951-
Publié: (1997)

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

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

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

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

A first course in mathematical logic and set theory /
par: O'Leary, Michael L.
Publié: (2016)