Labelled Deduction - Applied Logic Series - David Basin - Boeken - Springer - 9789401057813 - 8 oktober 2012
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 100,49

Besteld in een afgelegen magazijn

Verwachte levering 12 - 21 mei

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
of

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 8 oktober 2012
ISBN13 9789401057813
Uitgevers Springer
Pagina's 267
Afmetingen 155 × 235 × 15 mm   ·   399 g
Uitgever Basin, David
Uitgever D'Agostino, M.
Uitgever Gabbay, Dov M.
Uitgever Matthews, Sean
Uitgever Vigano, Luca

Meer door David Basin

Alles tonen

Bekijk alles van David Basin ( bijv. Paperback Book en Hardcover Book )