Labelled Deduction - Applied Logic Series - David Basin - Knihy - Springer - 9789401057813 - 08. októbra 2012
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 101,49

Objednané zo vzdialeného skladu

Očakávané doručenie 28. júl - 5. aug
Dostávajte upozornenia na nové nahrávky interpreta David Basin
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 08. októbra 2012
ISBN13 9789401057813
Vydavatelia Springer
Strany 267
Rozmery 155 × 235 × 15 mm   ·   399 g
Editor Basin, David
Editor D'Agostino, M.
Editor Gabbay, Dov M.
Editor Matthews, Sean
Editor Vigano, Luca

Viac od David Basin

Zobraziť všetko

Viac od toho istého vydavateľa