Search Results for Mathematics.

54 sonuç bulundu

Tümünü Seç

1 2 3 4 5

000000000000DEFAULTTR

Finitely Supported Mathematics An Introduction

Yazar

Alexandru, Andrei. author.

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

Format:

Electronic Resources

Alıntı:

Finitely Supported Mathematics An Introduction / Alexandru, Andrei. author.

Introduction to Discrete Mathematics via Logic and Proof

Yazar

Jongsma, Calvin. author.

https://doi.org/10.1007/978-3-030-25358-5

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

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.

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ı:

Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics Montano, Ulianov. author.

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.

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.

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures

Yazar

Doberkat, Ernst-Erich. author.

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

Format:

Electronic Resources

Alıntı:

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /

Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering AMINSE 2017, Tbilisi, Georgia, December 6-9

Yazar

Jaiani, George. editor.

https://doi.org/10.1007/978-3-030-10419-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

Incompleteness for Higher-Order Arithmetic An Example Based on Harrington’s Principle

Yazar

Cheng, Yong. author.

https://doi.org/10.1007/978-981-13-9949-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

10.

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

Yazar

Di Nasso, Mauro. author.

https://doi.org/10.1007/978-3-030-17956-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

11.

Combinatorial Set Theory of C*-algebras

Yazar

Farah, Ilijas. author.

https://doi.org/10.1007/978-3-030-27093-3

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

12.

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

Yazar

Schultz, Patrick. author.

https://doi.org/10.1007/978-3-030-00704-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

Tümünü Seç

1 2 3 4 5

54 sonuç bulundu

	{displayName}	{count}
{error}