Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Logic for Applications, 1

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic for Applications, 1 Anil Nerode
Libristo-code: 02016206
Uitgeverij Springer, Berlin, september 2012
This textbook provides a first introduction to mathematical logic which is closely attuned to the ap... Volledige beschrijving
? points 122 b
50.58 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Das Havelland um Rathenow und Premnitz Sebastian Kinder / Boek Gebonden (harde band)
common.buy 40.76 €
Arbeit an sich selbst Rudolf Steiner / Boek Gebonden (paperback)
common.buy 5.66 €
Norsko Phil Lee / Drukwerk Kaart
common.buy 23.46 €
Facharztprüfung Dermatologie Thomas Dirschka / Boek Gebonden (paperback)
common.buy 79.11 €
UNE ANALYSE DE L'EXPERIENCE DE VIE DES TRAVAILLEURS DE HARITHA KARMA SENA JILUMOL M V / Boek Gebonden (paperback)
common.buy 39.25 €
Zástup Basma Abd al-Azíz / Boek Gebonden (paperback)
common.buy 13.14 €
KAIF: O stopování, kalašnikovech a japonském pornu Tony Danilov / Boek Gebonden (harde band)
common.buy 9.50 €
CATHEDRAL CITY VIOLONCELLE JOHN GRAVES Drukwerk Bladmuziek
common.buy 12.33 €
L'artiste et le politique Mongin / Boek Gebonden (paperback)
common.buy 25.39 €
Retour de Madrid A Paris En 1834: Souvenirs Du Cholera Viardot-L / Boek Gebonden (paperback)
common.buy 13.14 €
Navegacao, Reconhecimento de Gesto e Controle de Interface pelo Kinect / Boek Gebonden (paperback)
common.buy 48.96 €
História Alegre de Portugal Manuel Pinheiro Chagas / Boek Gebonden (paperback)
common.buy 19.32 €
Identidad Profesional de las Docentes de Preescolar Sandra Elena Amaya Martínez / Boek Gebonden (paperback)
common.buy 34.90 €
EUROPA EN CRISIS, 1598-1648 NOEL G. PARKER / Boek Gebonden (harde band)
common.buy 26.90 €
(CAT).(11).QUAD.MATEMATIQUES 1-1R.ESO Edebé / Boek Gebonden (paperback)
common.buy 11.83 €
Legende von Wasgo Band 2 Michael Rusch / Boek Gebonden (paperback)
common.buy 12.64 €
My Boss Marilena Barbagallo / Boek Gebonden (paperback)
common.buy 13.04 €
Freund oder Feind: Das Doppelleben der Mikroglia in unserem Gehirn Imke Brodersen / Boek Gebonden (paperback)
common.buy 20.53 €
Resimli Türkce Sözlük Kolektif / Boek Gebonden (paperback)
common.buy 10.21 €
Chemie 8 Příručka učitele pro základní školy a víceletá gymnázia Pavel Doulík / Boek Gebonden (paperback)
common.buy 24.78 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logic for Applications, 1
Auteur Anil Nerode, Richard A. Shore
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 456
EAN 9781461268550
ISBN 1461268559
Libristo-code 02016206
Uitgeverij Springer, Berlin
Gewicht 724
Afmetingen 155 x 235 x 24

Categorieën

Informatica en informatietechnologie > Computer hardware
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

TOP
Set Theory Thomas Jech / Boek Gebonden (paperback)
common.buy 205.79 €
Dying Light MATTHEW MCCAIN / Boek Gebonden (harde band)
common.buy 30.24 €
Mother Owen Wister / Boek Gebonden (harde band)
common.buy 32.57 €
Word to Rhyme with Orange Matthew Wilson / Boek Gebonden (paperback)
common.buy 13.95 €
TOP
Quentin Tarantino Ian Nathan / Boek Gebonden (harde band)
common.buy 26.20 €
Of Demons & Stones: Revenge: Tri-StoneTrilogy Anne L Parks / Boek Gebonden (paperback)
common.buy 16.68 €
Wordt verwacht
Get Dressed, Robbie/Vistete, Robbie Lone Morton / Boek Gebonden (paperback)
common.buy 8.19 €
Invitation to Model Theory Jonathan (University of East Anglia) Kirby / Boek Gebonden (paperback)
common.buy 39.04 €
Topics on Continua Sergio Macias / Boek Gebonden (paperback)
common.buy 92.67 €
Introduction to Politics Garner / Boek Gebonden (paperback)
common.buy 114.62 €
Memories and Impressions of Helena Modjeska: An Autobiography (1910) Helena Modjeska / Boek Gebonden (paperback)
common.buy 46.84 €
Amazing Volcanoes Around the World Simon Rose / Boek Gebonden (harde band)
common.buy 23.87 €
Introductory German Lessons: Based on the Beginning German of Dr. Emil Otto, with Amendments and Full Vocabularies (1875) Emil Otto / Boek Gebonden (paperback)
common.buy 29.74 €
The Exile's Trust: A Tale Of The French Revolution, And Other Stories (1869) Frances Browne / Boek Gebonden (paperback)
common.buy 30.75 €
Except the Dying Maureen Jennings / Boek Gebonden (paperback)
common.buy 13.24 €
Pearson REVISE BTEC Tech Award Digital Information Technology Revision Guide Alan Jarvis / Boek Gebonden (paperback)
common.buy 11.42 €
The First Bridge Too Far: The Battle of Primosole Bridge 1943 Saliger / Boek Gebonden (paperback)
common.buy 20.73 €
The Invention of Childhood Creativity Cat Martins / Boek Gebonden (harde band)
common.buy 225.31 €
Nieuw
Immortal Reign Morgan Rhodes / Boek Gebonden (paperback)
common.buy 10.82 €
Self-Realization and Psychological Disturbances Roberto Assagioli / Boek Gebonden (harde band)
common.buy 32.57 €
Family Business Succession LeCouvie Kelly / Boek Gebonden (harde band)
common.buy 45.32 €
Model Theory Chen Chung Chang / Boek Gebonden (paperback)
common.buy 26.80 €
Wordt verwacht
Headless Males Make Great Lovers Marty Crump / Boek Gebonden (harde band)
common.buy 34.39 €
Gender and Activism in a Little Magazine Rachel Schreiber / Boek Gebonden (harde band)
common.buy 261.03 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?