0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Proof Theory – alle Bücher, CDs und LPs

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "proof theory" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:
    : Maximus - The Greatest Movie Soundtracks for Piano and Orchestra, CD
    -50%

    Maximus - The Greatest Movie Soundtracks for Piano and Orchestra

    Maksym Rzeminski, Radom Chamber Orchestra, Dawid Runtz

    Artikel am Lager
    EUR 19,99**
    CD
     
    EUR 9,99*
    Artikel ist im Warenkorb
    Fates Warning: Theories Of Flight (Limited Edition) (Colored Vinyl), LP,LP
    -25%

    Fates Warning
    Theories Of Flight (Limited Edition) (Colored Vinyl)

    Das 2024 erschienene Album der Progressive-Metal-Pioniere Gute Neuigkeiten von den US-amerikanischen Progressive Metalern Fates Warning. 2016 gehen sie mit ihrem mittlerweile zwölften Studioalbum an de…

    lieferbar innerhalb 1-2 Wochen
    EUR 42,99**
    2 LPs
     
    EUR 31,99*
    Artikel ist im Warenkorb
    Dipl. -Math. Felix F. Flemisch: The Strong Sylow Theorem for the Prime p in Simple Locally Finite Groups, Buch

    Dipl. -Math. Felix F. Flemisch
    The Strong Sylow Theorem for the Prime p in Simple Locally Finite Groups

    This research paper continues [15]. We begin with giving a profound overview of the structure of arbitrary simple groups and in particular of the simple locally finite groups and reduce their Sylow theory…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 49,99*
    Artikel ist im Warenkorb
    Fates Warning: Theories Of Flight, CD

    Fates Warning
    Theories Of Flight

    Das 2024 erschienene Album der Progressive-Metal-Pioniere Gute Neuigkeiten von den US-amerikanischen Progressive Metalern Fates Warning. 2016 gehen sie mit ihrem mittlerweile zwölften Studioalbum an de…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    CD
     
    EUR 16,99*
    Artikel ist im Warenkorb
    Bruno Da Ré: Metainferential Logics, Buch

    Bruno Da Ré, Federico Pailos
    Metainferential Logics

    Trends in Logic -Band 61

    This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed in the last years, with their most relevant results and applications. It p…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 109,51*
    Artikel ist im Warenkorb
    : Automated Reasoning, Buch

    Automated Reasoning

    Lecture Notes in Artificial Intelligence -Band 14739

    This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    Artikel ist im Warenkorb
    : Automated Reasoning, Buch

    Automated Reasoning

    Lecture Notes in Artificial Intelligence -Band 14740

    Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, F…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 81,04*
    Artikel ist im Warenkorb
    : Axiomatic Thinking I, Buch

    Axiomatic Thinking I

    In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but a…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 98,56*
    Artikel ist im Warenkorb
    : Axiomatic Thinking II, Buch

    Axiomatic Thinking II

    In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but a…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 109,51*
    Artikel ist im Warenkorb
    Antonio Piccolomini d¿Aragona: Prawitz's Epistemic Grounding, Buch

    Antonio Piccolomini d¿Aragona
    Prawitz's Epistemic Grounding

    Synthese Library -Band 469

    This book presents an in-depth and critical reconstruction of Prawitz s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 131,42*
    Artikel ist im Warenkorb
    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.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH