Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
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
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logic for Applications, 1

Limba englezăengleză
Carte Carte broșată
Carte Logic for Applications, 1 Anil Nerode
Codul Libristo: 02016206
Editura Springer, Berlin, septembrie 2012
This textbook provides a first introduction to mathematical logic which is closely attuned to the ap... Descrierea completă
? points 129 b
280.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Norsko Phil Lee / Materiale tipărite Hartă
common.buy 79.43 lei
História Alegre de Portugal Manuel Pinheiro Chagas / Carte Carte broșată
common.buy 106.33 lei
UNE ANALYSE DE L'EXPERIENCE DE VIE DES TRAVAILLEURS DE HARITHA KARMA SENA JILUMOL M V / Carte Carte broșată
common.buy 217.99 lei
CATHEDRAL CITY VIOLONCELLE JOHN GRAVES Materiale tipărite Note muzicale
common.buy 65.57 lei
Zástup Basma Abd al-Azíz / Carte Carte broșată
common.buy 69.21 lei
KAIF: O stopování, kalašnikovech a japonském pornu Tony Danilov / Carte Copertă tare
common.buy 52.95 lei
EUROPA EN CRISIS, 1598-1648 NOEL G. PARKER / Carte Copertă tare
common.buy 141.98 lei
Legende von Wasgo Band 2 Michael Rusch / Carte Carte broșată
common.buy 70.57 lei
Freund oder Feind: Das Doppelleben der Mikroglia in unserem Gehirn Imke Brodersen / Carte Carte broșată
common.buy 113.94 lei
Resimli Türkce Sözlük Kolektif / Carte Carte broșată
common.buy 56.39 lei
Chemie 8 Příručka učitele pro základní školy a víceletá gymnázia Pavel Doulík / Carte Carte broșată
common.buy 136.56 lei
Facharztprüfung Dermatologie Thomas Dirschka / Carte Carte broșată
common.buy 438.80 lei
Retour de Madrid A Paris En 1834: Souvenirs Du Cholera Viardot-L / Carte Carte broșată
common.buy 75.37 lei
Identidad Profesional de las Docentes de Preescolar Sandra Elena Amaya Martínez / Carte Carte broșată
common.buy 193.90 lei
Das Havelland um Rathenow und Premnitz Sebastian Kinder / Carte Copertă tare
common.buy 225.18 lei
Arbeit an sich selbst Rudolf Steiner / Carte Carte broșată
common.buy 31.47 lei

This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. No previous exposure to logic is assumed and so this will be suitable for upper level undergraduates or beginning graduate students in computer science or mathematics.§From reviews of the first edition : "... must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..." §SIGACT News

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logic for Applications, 1
Autor Anil Nerode, Richard A. Shore
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 456
EAN 9781461268550
ISBN 1461268559
Codul Libristo 02016206
Editura Springer, Berlin
Greutatea 724
Dimensiuni 155 x 235 x 24

Categorii

Computing & Information Technology > Computer hardware
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Set Theory Thomas Jech / Carte Carte broșată
common.buy 1 138.98 lei
Dying Light MATTHEW MCCAIN / Carte Copertă tare
common.buy 166.07 lei
Horace Walpole and His World: Select Passages from His Letters Horace Walpole / Carte Carte broșată
common.buy 184.73 lei
Introductory German Lessons: Based on the Beginning German of Dr. Emil Otto, with Amendments and Full Vocabularies (1875) Emil Otto / Carte Carte broșată
common.buy 163.88 lei
Mother Owen Wister / Carte Copertă tare
common.buy 179.31 lei
Memories and Impressions of Helena Modjeska: An Autobiography (1910) Helena Modjeska / Carte Carte broșată
common.buy 257.71 lei
The Exile's Trust: A Tale Of The French Revolution, And Other Stories (1869) Frances Browne / Carte Carte broșată
common.buy 169.09 lei
Introduction to Politics Garner / Carte Carte broșată
common.buy 626.56 lei
Topics on Continua Sergio Macias / Carte Carte broșată
common.buy 513.45 lei
Invitation to Model Theory Jonathan (University of East Anglia) Kirby / Carte Carte broșată
common.buy 195.16 lei
Amazing Volcanoes Around the World Simon Rose / Carte Copertă tare
common.buy 125.93 lei
Curând
Get Dressed, Robbie/Vistete, Robbie Lone Morton / Carte Carte broșată
common.buy 45.76 lei
Top
Quentin Tarantino Ian Nathan / Carte Copertă tare
common.buy 145.22 lei
Word to Rhyme with Orange Matthew Wilson / Carte Carte broșată
common.buy 76.83 lei
Except the Dying Maureen Jennings / Carte Carte broșată
common.buy 69.95 lei
PAS PAS 2 ACCOMPAGNEMENT DE PIANO CLARIN JAAP KASTELEIN_KLAAS / Carte binding.
common.buy 137.40 lei
Unlocking Secrets: How to Get People to Tell You Everything David Craig / Carte Carte broșată
common.buy 77.03 lei
Family Business Succession LeCouvie Kelly / Carte Copertă tare
common.buy 246.24 lei
Model Theory Chen Chung Chang / Carte Carte broșată
common.buy 149.60 lei
Place of the Beautiful in the City Plan John Nolen / Carte Copertă tare
common.buy 148.24 lei
Targeting Using Augmented Data in Database Marketing Bettina Hüttenrauch / Carte Carte broșată
common.buy 285.96 lei
National Calendar, for ..., Volume 5 Peter Force / Carte Copertă tare
common.buy 184.73 lei
Curând
Headless Males Make Great Lovers Marty Crump / Carte Copertă tare
common.buy 182.54 lei
Polar Regions. John Richardson / Carte Carte broșată
common.buy 152.83 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?