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
€ 118,99

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

Paredzamā piegāde . gada 19. aug. - . gada 2. sept.
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