Analysis and Synthesis of Logics Walter A. Carnielli ; Marcelo Coniglio ; Dov M. Gabbay ; Paula Gouveia How to Cut and Paste Reasoning Systems

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics.
Voorraad:
Nieuw
Verkrijgbaar in
Webshop
Prijs:
€ 223,95
Voorraad:
Levertijd:

Afwijkende levertijd: 5 tot 7 Dagen.

Winkelvoorraad

Het kan zijn dat er op dit moment een verkoop plaatsvindt, waardoor de actuele voorraad afwijkt. Hier kunnen geen rechten aan worden ontleend.

Reserveren

Nieuwe boeken en ramsj kunt u reserveren wanneer deze op voorraad zijn. U kunt uw reservering in de winkel ophalen. De betaalwijze kunt u aangeven bij stap 3 'Betaalwijze'

.
pro-mbooks1 : broekhuis