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 10. - 20. júl
Pridať do vášho zoznamu prianí na iMusic

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

Mere med samme udgiver