0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Proof Theory" - alle Bücher, CDs und LPs

    Ihre Suche nach "Proof Theory" (Bücher, CDs und LPs) ergab 26 Treffer.

    Ansicht:

    Dirk W. Hoffmann
    Limits of Mathematics

    Mathematics Study Resources - Band 19

    Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?Modern mathematical logic of the twentieth centu…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 53,32

    Paradoxes Between Truth and Proof

    This book is a collection of essays that offer original logical and philosophical investigations into the century-long endeavor to understand paradoxes. It bridges the gap between the two most prominent t…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 153,32

    Automated Reasoning

    Lecture Notes in Computer Science - Band 16689

    This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26--29, 2026.The 41 full research papers a…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Lars Tuset
    Abstract Algebra via Numbers

    This book is a concise, self-contained treatise on abstract algebra with an introduction to number theory, where students normally encounter rigorous mathematics for the first time. The authors build up t…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 53,32

    Lucien Sina
    Complexity Theory

    What is complexity theory - and why is it so central to computer science? Complexity theory studies how much time, memory, or other resources are needed to solve algorithmic problems. It provides the foun…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 19,99

    An Introduction to Evidence Science

    The book discusses the subject and scope of evidence science and puts forward the new epistemological formula of "practice-evidence-knowledge-evidence-practice", which applies to the problem of …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 175,23
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.