Labelled Deduction - Applied Logic Series - David Basin - Książki - Springer - 9789401057813 - 8 października 2012
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 424,90

Zamówione z odległego magazynu

Przewidywana dostawa 22 - 30 paź
Otrzymuj powiadomienia o nowych wydawnictwach David Basin
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 8 października 2012
ISBN13 9789401057813
Wydawcy Springer
Strony 267
Wymiary 155 × 235 × 15 mm   ·   399 g
Redaktor Basin, David
Redaktor D'Agostino, M.
Redaktor Gabbay, Dov M.
Redaktor Matthews, Sean
Redaktor Vigano, Luca

Więcej od David Basin

Więcej od tego samego wydawcy