A Framework for Priority Arguments LERMAN, Manuel

"This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many o
Voorraad:
Nieuw
Verkrijgbaar in
Webshop
Prijs:
€ 77,95
Voorraad:
Levertijd:

Afwijkende levertijd: 6 tot 8 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'

.
MINDBUSZEUS2 : broekhuis