Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Problem Solving In Operation Management (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Noneist Explorations II: The Sylvan Jungle - Volume 3 (Bog, Hardback, Engelsk)This third volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Noneist Explorations II: The Sylvan Jungle - Volume 3 (Bog, Paperback / softback, Engelsk)This third volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Boolean Function Complexity: Advances and Frontiers (Bog, Hardback, Engelsk)Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are easy to state and explain, even for... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Nonclassical Logics and Their Applications: Post-proceedings of the 8th International Workshop on Logic and Cognition (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke garanteres før jul. Se dato på varen.
Proof Assistants and Their Applications in Mathematics and Computer Science (Bog, Hardback, Engelsk)Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.
Levering: Kan forudbestilles (Forventes d. 12-02-2026) -
Bemærk: Kan ikke leveres før jul.
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Bog, Hardback, Engelsk)This text covers topics in algebraic geometry and commutative algebra with careful attention to their practical and computational aspects.
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Aristotle's Syllogism and the Creation of Modern Logic: Between Tradition and Innovation, 1820s-1930s (Bog, Paperback / softback, Engelsk)Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019) (Bog, Paperback, Engelsk)Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
I Wish They'd Taught Me That: Overlooked and Omitted Topics in Mathematics (Bog, Paperback / softback, Engelsk)I Wish They'd Taught Me That: Overlooked and Omitted Topics in Mathematics concerns the topics which every undergraduate mathematics student “should” know but has probably never encountered.
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
I Wish They'd Taught Me That: Overlooked and Omitted Topics in Mathematics (Bog, Hardback, Engelsk)I Wish They'd Taught Me That: Overlooked and Omitted Topics in Mathematics concerns the topics which every undergraduate mathematics student “should” know but has probably never encountered.
Levering: Skaffevare (forvent 14 - 30 hverdage)
