Proof Theory of Modal Logic - Applied Logic Series - Heinrich Wansing - Böcker - Springer - 9789048147205 - 9 december 2010
Om omslag och titel inte matchar är det titeln som gäller

Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 1996 edition

Pris
SEK 1.579

Beställningsvara

Förväntad leverans 31 dec - 8 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller

Finns även som:

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.


318 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 9 december 2010
ISBN13 9789048147205
Utgivare Springer
Antal sidor 318
Mått 155 × 235 × 17 mm   ·   467 g
Redaktör Wansing, Heinrich

Fler produkter med Heinrich Wansing

Visa alla