Labelled Deduction - Applied Logic Series - David Basin - Grāmatas - Springer - 9789401057813 - 2012. gada 8. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 103,49

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

Paredzamā piegāde . gada 28. jūl. - . gada 5. aug.
Saņemiet paziņojumus par jauniem David Basin 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, black & white illustrations, bibliography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2012. gada 8. oktobris
ISBN13 9789401057813
Izdevēji Springer
Lapas 267
Izmēri 155 × 235 × 15 mm   ·   399 g
Redaktors Basin, David
Redaktors D'Agostino, M.
Redaktors Gabbay, Dov M.
Redaktors Matthews, Sean
Redaktors Vigano, Luca

Vairāk no David Basin

Rādīt visu

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