Search Results for Philosophy

24 sonuç bulundu

Tümünü Seç

1 2

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.

Computational Artifacts Towards a Philosophy of Computer Science

Yazar

Turner, Raymond. author.

https://doi.org/10.1007/978-3-662-55565-1

Format:

Electronic Resources

Alıntı:

Philosophy of Science. http://scigraph.springernature.com/things/product-market-codes/E34000

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,

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,

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 ;

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 ;

10.

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 ;

11.

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 ;

12.

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

Yazar

Atten, Mark van. author.

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

Format:

Electronic Resources

Alıntı:

Philosophy and science.

	{displayName}	{count}
{error}