Search Results for Mathematical Logic and Foundations.

92 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 8

000000000000DEFAULTTR

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

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

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 Model–Theoretic Approach to Proof Theory

Yazar

Kotlarski, Henryk. author.

https://doi.org/10.1007/978-3-030-28921-8

Format:

Electronic Resources

Alıntı:

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

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

Mathematical Logic and Foundations.

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

Mathematical Logic and Foundations.

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

Mathematical Logic and Foundations.

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Yazar

de Haan, Ronald. author.

https://doi.org/10.1007/978-3-662-60670-4

Format:

Electronic Resources

Alıntı:

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

Johan van Benthem on Logic and Information Dynamics

Yazar

Baltag, Alexandru. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

10.

Heyting Algebras Duality Theory

Yazar

Esakia, Leo. author.

https://doi.org/10.1007/978-3-030-12096-2

Format:

Electronic Resources

Alıntı:

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

11.

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

Mathematical Logic and Foundations.

12.

Constructivity and Computability in Historical and Philosophical Perspective

Yazar

Dubucs, Jacques. editor.

http://dx.doi.org/10.1007/978-94-017-9217-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Tümünü Seç

1 2 3 4 5 .. 8

92 sonuç bulundu

	{displayName}	{count}
{error}