Mathematical Logic

(9781402009174 / 5217756) | Partial probability assessments
Griddlers.Net (9789657679098)
Griddlers.Net (9789657679050)
Explore advanced concepts in digital identity management, encryption techniques, and policy enforcement with a focus on logical frameworks for secure access control systems.
Springer International Publishing AG (9783319162492 / 24 black & white illustrations, biograph) | Discover techniques
OUP Oxford (9780198243595 / frontispiece) | Leading logicians
(9780486446554 / illustrations)
(9780486483856 / Illustrated) | Logic and Boolean
Griddlers.Net (9789657679111)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540880080 / biography) | Grammatical Inference, 9th International Colloquium
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540922421 / 1, black & white illustrations)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540590477 / 6903005) | Theorem Provers
Griddlers.Net (9789657679005)
College Publications (9781904987345)
Springer (9789400717350 / 8 black & white tables) | Intuitionistic type theory, Type theory
Explore a whimsical yet rigorous journey where a single pea defies expectations under sunlight, revealing hidden symmetries and challenging conventional proofs in an engaging blend of narrative and mathematical insight.
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540927006 / 1, black & white illustrations)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540761860 / biography)
(9780691154633 / 9780691154633) | Did mathematical notations evolve
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540594796 / 6909905)

Filters

🤖 Hello! I'm your virtual assistant. I can help you find products, compare prices and answer questions about your orders. Where should we start?
Chatbot service provided thanks to Gemini 3 / OpenAI using Comparor’s database. The AI may make mistakes — always verify the information.
Comparor AI BETA
Online
Restart the conversation?