Labelled Non-Classical Logics - Luca Vigano - Boeken - Springer-Verlag New York Inc. - 9781441949622 - 3 december 2010
Indien omslag en titel niet overeenkomen, is de titel correct

Luca Vigano
Labelled Non-Classical Logics Softcover reprint of the original 1st ed. 2000 edition

Prijs
€ 144,99

Besteld in een afgelegen magazijn

Verwachte levering 2 - 12 okt.
Ontvang meldingen over nieuwe releases van Luca Vigano

Onze klanten zeggen:

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

Nog niet beoordeeld

Ook verkrijgbaar als:

Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.

292 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 3 december 2010
ISBN13 9781441949622
Uitgevers Springer-Verlag New York Inc.
Pagina's 292
Afmetingen 155 × 235 × 16 mm   ·   435 g
Taal en grammatica Engels  

Meer van dezelfde uitgever

Bekijk alles van Luca Vigano