Search Results for Philosophy

36 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

Recent Developments in the Philosophy of Science: EPSA13 Helsinki

Yazar

Mäki, Uskali. editor.

http://dx.doi.org/10.1007/978-3-319-23015-3

Format:

Electronic Resources

Alıntı:

Recent Developments in the Philosophy of Science: EPSA13 Helsinki Mäki, Uskali. editor.

A Mathematical Prelude to the Philosophy of Mathematics

Yazar

Pollard, Stephen. author.

http://dx.doi.org/10.1007/978-3-319-05816-0

Format:

Electronic Resources

Alıntı:

A Mathematical Prelude to the Philosophy of Mathematics Pollard, Stephen. author.

From Logic to Practice Italian Studies in the Philosophy of Mathematics

Yazar

Lolli, Gabriele. editor.

http://dx.doi.org/10.1007/978-3-319-10434-8

Format:

Electronic Resources

Alıntı:

From Logic to Practice Italian Studies in the Philosophy of Mathematics / Lolli, Gabriele. editor.

Pluralism in Mathematics: A New Position in Philosophy of Mathematics

Yazar

Friend, Michèle. author.

http://dx.doi.org/10.1007/978-94-007-7058-4

Format:

Electronic Resources

Alıntı:

Pluralism in Mathematics: A New Position in Philosophy of Mathematics Friend, Michèle. author.

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

Yazar

Horská, Anna. author.

http://dx.doi.org/10.1007/978-3-319-02171-3

Format:

Electronic Resources

Alıntı:

SpringerBriefs in Philosophy,

Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice

Yazar

Clerbout, Nicolas. author.

http://dx.doi.org/10.1007/978-3-319-19063-1

Format:

Electronic Resources

Alıntı:

SpringerBriefs in Philosophy,

Computational Complexity of Solving Equation Systems

Yazar

Broniek, Przemysław. author.

http://dx.doi.org/10.1007/978-3-319-21750-5

Format:

Electronic Resources

Alıntı:

SpringerBriefs in Philosophy,

Epistemology, Context, and Formalism

Yazar

Lihoreau, Franck. editor.

http://dx.doi.org/10.1007/978-3-319-02943-6

Format:

Electronic Resources

Alıntı:

Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;

Axiomatic Method and Category Theory

Yazar

Rodin, Andrei. author.

http://dx.doi.org/10.1007/978-3-319-00404-4

Format:

Electronic Resources

Alıntı:

Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;

10.

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language

Yazar

Torza, Alessandro. editor.

http://dx.doi.org/10.1007/978-3-319-18362-6

Format:

Electronic Resources

Alıntı:

Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;

11.

Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics

Yazar

Montano, Ulianov. author.

http://dx.doi.org/10.1007/978-3-319-03452-2

Format:

Electronic Resources

Alıntı:

Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;

12.

Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context

Yazar

Calosi, Claudio. editor.

http://dx.doi.org/10.1007/978-3-319-05356-1

Format:

Electronic Resources

Alıntı:

Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;

	{displayName}	{count}
{error}