Labelled Deduction - Applied Logic Series - Luca Vigano - Grāmatas - Springer - 9780792362371 - 2000. gada 30. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Labelled Deduction - Applied Logic Series 2000 edition

Cena
€ 120,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 9. - 23. okt.
Saņemiet paziņojumus par jauniem Luca Vigano izdevumiem
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2000. gada 30. aprīlis
ISBN13 9780792362371
Izdevēji Springer
Lapas 267
Izmēri 170 × 244 × 17 mm   ·   576 g
Valoda Angļu  
Redaktors Basin, David
Redaktors D'Agostino, M.
Redaktors Gabbay, Dov M.
Redaktors Matthews, Sean
Redaktors Vigano, Luca

Vairāk no Luca Vigano

Rādīt visu

Vairāk no tā paša izdevēja