Search Results for Mathematical logic.

15 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

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

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

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.

Leo Esakia on Duality in Modal and Intuitionistic Logics

Yazar

Bezhanishvili, Guram. editor.

http://dx.doi.org/10.1007/978-94-017-8860-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

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.

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.

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

Mathematical Logic and Foundations.

Dag Prawitz on Proofs and Meaning

Yazar

Wansing, Heinrich. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

David Makinson on Classical Methods for Non-Classical Problems

Yazar

Hansson, Sven Ove. editor.

http://dx.doi.org/10.1007/978-94-007-7759-0

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

10.

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

Mathematical Logic and Formal Languages.

11.

Towards Paraconsistent Engineering

Yazar

Akama, Seiki. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

12.

Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms

Yazar

Benis-Sinaceur, Hourya. author.

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

Format:

Electronic Resources

Alıntı:

Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms / Benis-Sinaceur

	{displayName}	{count}
{error}