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 11. - 19. jūn.
Pievienot savam iMusic vēlmju sarakstam

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

Mere med samme udgiver