Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke garanteres før jul. Se dato på varen.
Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT): Volume I (Bog, Paperback / softback, Engelsk)Cryptocurrency Forensics and Investigation Using Open Source Tools and Techniques is a two-volume... Læs mere
Levering: Kan forudbestilles (Forventes d. 22-04-2026) -
Bemærk: Kan ikke leveres før jul.
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction (Bog, Paperback / softback, Engelsk)The variety of distinct approaches exemplified by the single chapters allows for a dialogue... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods: FCMTCCT2 2022, Almeria, Spain, July 11–15, Invited and Selected Contributions (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
An Invitation to Mathematical Logic (Bog, Paperback / softback, Engelsk)The material should be accessible to first year graduate students or advanced undergraduates in mathematics, graduate students in philosophy with a solid math background, or students in computer science who want a mathematical introduction to logic.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the post-conference proceedings of the 17th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Multi-valued Logic for Decision-Making Under Uncertainty (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Bog, Paperback / softback, Engelsk)This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Advances in Brain Inspired Cognitive Systems: 14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part II (Bog, Paperback / softback, Engelsk)The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th International Conference on Brain Inspired Cognitive Systems, BICS 2024, held in Hefei, China, during December 6–8, 2024.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic and Its Applications: 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025. The topics included are Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Introduction to Incompleteness: From Godel's Theorems to Forcing and the Continuum Hypothesis (Bog, Hardback, Engelsk)Care is taken to emphasize the different layers of the mathematical argument – the layer within and the metalayer about an axiomatic system.Structurally, the book efficiently examines key results and arrives at some of the most interesting concepts as quickly as possible.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Institution-independent Model Theory (Bog, Hardback, Engelsk)A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics.
Levering: Skaffevare (forvent 14 - 30 hverdage)
