Linking Game-Theoretical Approaches with Constructive Type Theory
Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Weitere Titel zum Thema
Murdle Jr.: Ready, Set, Solve!
Solve Your Way Through 40 Puzzle Mysteries!
Workman, 2025
978-0-316-58256-8
15.50 CHF
sofort lieferbar
The Art of Thinking
How the Great Philosophers Can Stimulate Our Ability to Think Critically
Harper Collins, 2026
978-0-00-883915-4
26.90 CHF
sofort lieferbar
Die Willkürkontrolle
Das allgemeine Willkürverbot vor dem Bundesverfassungsgericht
NOMOS, 2026
9783748969341
101.00 CHF
sofort lieferbar
A Sherlock Holmes Escape Book: The Adventure of the Train of the Dead
Solve the Puzzles to Escape the Pages
GMC, 2025
978-1-78145-498-5
ca. 19.50 CHF
lieferbar in ca. 10-20 Arbeitstagen
The Stack, 10th anniversary edition with new preface by the author
On Software and Sovereignty
MIT Press, 2026
978-0-262-55391-9
55.90 CHF
sofort lieferbar
Escape From Shadow Physics
Quantum Theory, Quantum Reality and the Next Scientific Revolution
978-1-399-60960-9
22.90 CHF
sofort lieferbar
Math for Business and Economics
Compendium of Essential Formulas
Springer, 2026
978-3-662-71173-6
ca. 116.00 CHF
lieferbar in ca. 5 Arbeitstagen
The Importance of Being Educable
A New Theory of Human Uniqueness
University Presses, 2026
978-0-691-23057-3
33.50 CHF
sofort lieferbar
Reals by Abstraction. An Inquiry about Epistemic Economy in Mathematics: Volume ...
The Real Numbers
Springer International Publishing, 2026
978-3-032-00430-7
159.00 CHF
sofort lieferbar
Murdle Jr.: Summer Fun!
40+ Mazes, Codes, and Other Puzzling Games
Workman, 2026
978-0-316-60268-6
11.50 CHF
sofort lieferbar

