Áruház
ENbook.hu
Márka
Springer Nature
p1. Introduction Some Brief Historical and Philosophical Remarks.- 2. A Brief Introduction to Constructive Type Theory.- 3. Basic Notions for Dialogical Logic.- 4. Advanced Dialogues Play Level.- 5. Advanced Dialogues Strategy Level.- 6. Local Reasons and Dialogues for Immanent Reasoning.- 7. The Dialogical Roots of Equality Dialogues for Immanent Reasoning.- 8. The Remarkable Case of the Axiom of Choice.- 9. From Dialogical Strategies To CTT-Demonstrations And Back.- 10. Material Dialogues.- 11. Concluding Remarks A Plaidoyer for the Play Level.ppp
26272 HUF
Javaslatok
Choose your language and region
Klarna is available around the world with a variable offering, choose one that suits you best.
Copyright © 2005-2024 Klarna Bank AB (publ). Headquarters: Stockholm, Sweden. All rights reserved. Klarna Bank AB (publ). Sveavägen 46, 111 34 Stockholm. Organization number: 556737-0431