Emnet Matematisk logikk inneholder 1617 produkter.
New Mathematical Coloring Book
Mathematics of Coloring and the Colorful Life of Its Creators
Alexander SoiferInnbundet
3263,-
Formal Methods Teaching
5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Catherine DuboisPaperback
817,-
Logic and Its Applications
10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings
Mohua BanerjeePaperback
907,-
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Wolfgang SchreinerInnbundet
1179,-
Prawitz's Epistemic Grounding
An Investigation into the Power of Deduction
Antonio Piccolomini d’AragonaInnbundet
1813,-
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
William M. FarmerInnbundet
1360,-
How to Expect the Unexpected
The Science of Making Predictions and the Art of Knowing When Not To
Kit YatesInnbundet
363,-