Labelled Deduction - Applied Logic Series - David Basin - Böcker - Springer - 9789401057813 - 8 oktober 2012
Om omslag och titel inte matchar är det titeln som gäller

David Basin
Labelled Deduction - Applied Logic Series Softcover reprint of the original 1st ed. 2000 edition

Pris
SEK 1.079

Beställningsvara

Förväntad leverans 5 - 13 aug
Få avisering om nya utgåvor med David Basin

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.

278 pages, black & white illustrations, bibliography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 8 oktober 2012
ISBN13 9789401057813
Utgivare Springer
Antal sidor 267
Mått 155 × 235 × 15 mm   ·   399 g
Redaktör Basin, David
Redaktör D'Agostino, M.
Redaktör Gabbay, Dov M.
Redaktör Matthews, Sean
Redaktör Vigano, Luca

Fler produkter med David Basin

Visa alla

Mer från samma **utgivare**

Se alt med David Basin ( t.ex. Pocketbok och Inbunden Bok )