Stimați clienți, din cauza zilei de sărbătoare, asistența pentru clienți nu este disponibilă astăzi. Ne vom ocupa de solicitările dumneavoastră în următoarea zi lucrătoare. Vă mulțumim pentru înțelegere.
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Cum să cumpăr
Ajutor
Livrare
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Consilier de cumpărături
Suntem aici pentru tine!
031 22 95 182
Contul meu
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje
Creați-vă un cont gratuit
▸
Gol :-(
0
Stimați clienți, din cauza zilei de sărbătoare, asistența pentru clienți nu este disponibilă astăzi. Ne vom ocupa de solicitările dumneavoastră în următoarea zi lucrătoare. Vă mulțumim pentru înțelegere.
Computational Logic and Set Theory
Limba
engleză
engleză
Carte
Carte broșată
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and...
Descrierea completă
Codul Libristo: 09060410
?
161 b
161 b
320
lei
În depozitul extern în cantități mici
Expediem în 12-15 zile
30 de zile pentru retur bunuri
Ar putea de asemenea, să te intereseze
/
Carte broșată
395
lei
/
Carte broșată
217
lei
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs.
Informații despre carte
Titlu complet
Computational Logic and Set Theory
Autor
Eugenio G Omodeo
Limba
engleză
engleză
Legare
Carte - Carte broșată
Data publicării
2014
Număr pagini
416
EAN
9781447160182
ISBN
9781447160182
Codul Libristo
09060410
Editura
Springer London Ltd
Greutatea
659
Dimensiuni
155 x 23 x 24
