Search Results for Mathematical logic.

13.

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.

14.

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.

15.

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

Yazar

Schlechta, Karl. author.

https://doi.org/10.1007/978-3-319-89653-3

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

16.

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Yazar

Schlechta, Karl. author.

https://doi.org/10.1007/978-3-319-89650-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

17.

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

18.

Mîzânu'l-ukûl : mantık ve metodoloji

Yazar

Ali Sedat bin Cevdet.

Format:

Kitap

Alıntı:

Mathematics.

19.

Romanian Studies in Philosophy of Science

Yazar

Pȃrvu, Ilie. editor.

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

Format:

Electronic Resources

Alıntı:

Logic.

20.

Logic, Reasoning, and Rationality

Yazar

Weber, Erik. editor.

http://dx.doi.org/10.1007/978-94-017-9011-6

Format:

Electronic Resources

Alıntı:

Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social

	{displayName}	{count}
{error}