Labelled Deduction - Applied Logic Series - Luca Vigano - Böcker - Springer - 9780792362371 - 30 april 2000
Om omslag och titel inte matchar är det titeln som gäller

Labelled Deduction - Applied Logic Series 2000 edition

Pris
SEK 1.049

Beställningsvara

Förväntad leverans 26 jan - 3 feb
Lägg till din iMusic-önskelista
eller

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, biography

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 30 april 2000
ISBN13 9780792362371
Utgivare Springer
Antal sidor 267
Mått 170 × 244 × 17 mm   ·   576 g
Språk Engelska  
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 Luca Vigano

Visa alla