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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Logic: a Brief Course

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic: a Brief Course Daniele Mundici
Libristo-code: 01367291
Uitgeverij Springer Verlag, februari 2012
This short book, geared towards undergraduate students of computer science and mathematics, is speci... Volledige beschrijving
? points 122 b
50.62 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

CLARIN 100 JULIO AGOSTO 2012 / Boek Boek
common.buy 10.12 €
EL VIAJE DE TU VIDA LUCIA GALAN BERTRAND / Boek Boek
common.buy 11.74 €
Arde Madrid Herrero / Boek Gebonden (paperback)
common.buy 24.90 €
Crescere partecipando. Contesti e prospettive educative per il sistema integrato 0-6 Monica Amadini / Boek Gebonden (paperback)
common.buy 18.42 €
Effetto delle radiazioni dei telefoni cellulari sulla salute Khitam Elwasife / Boek Gebonden (paperback)
common.buy 41.00 €
Finančná gramotnosť pre 1. stupeň základných škôl Monika Reiterová / Boek Gebonden (paperback)
common.buy 5.56 €
The "Here and Now" of French Psychoanalysis Rachel Boue-Widawsky / Boek Gebonden (paperback)
common.buy 49.30 €
2013年瑞豐香檳酒庄指南 Collectif Photo Reims / Boek Gebonden (paperback)
common.buy 19.43 €
Le Cabinet Du Jeune Naturaliste Ou Tableaux Intéressans De L'histoire Des Animaux ...: (Viii, 364 P.) Thomas Smith / Boek Gebonden (harde band)
common.buy 36.44 €
Ministere de l'Instruction Publique Et Des Beaux-Arts. Direction de l'Enseignement Secondaire SANS AUTEUR / Boek Gebonden (paperback)
common.buy 51.33 €
Wir Eltern sind auch nur Menschen! Jörg Mangold / Boek Gebonden (paperback)
common.buy 25.10 €
Handbuch der Chirurgischen Praxis Victor Von Bruns / Boek Gebonden (paperback)
common.buy 40.19 €
Fibromialgia : una guía completa para comprender y aliviar el dolor Don L. Goldenberg / Boek Gebonden (paperback)
common.buy 23.58 €
Wie Sprach Gott: Es Werde Licht!? Dieter Lau / Boek Gebonden (paperback)
common.buy 74.32 €
Vivez pleinement et libérez votre potentiel Gianluca Annoni / Boek Gebonden (paperback)
common.buy 16.09 €
Moeglichkeiten der Kundenbindung in der Logistikbranche Tihomir Bajci / Boek Gebonden (paperback)
common.buy 47.28 €
Detektiv Conan. Bd.87 Gosho Aoyama / Boek Gebonden (paperback)
common.buy 6.98 €
Der Philipperbrief / Der Philemonbrief Christoph Schluep-Meier / Boek Gebonden (harde band)
common.buy 39.48 €
Orte und Räume des Religiösen im 19.-21. Jahrhundert Franziska Metzger / Boek Gebonden (paperback)
common.buy 85.35 €
grosse Kurfurst und seine Kinder Louise Mühlbach / Boek Gebonden (paperback)
common.buy 53.46 €
Portratgalerie aus Lamprechts Deutscher Geschichte Hans Ferdinand Helmolt / Boek Gebonden (paperback)
common.buy 26.82 €
"richtige" Kinder Sabina Schutter / Boek Gebonden (paperback)
common.buy 48.39 €
Bioethik zwischen Natur und Interesse Dieter Birnbacher / Boek Gebonden (paperback)
common.buy 25.10 €

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.§A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book also interesting to a wide range of students of philosophy and linguistics.

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: a Brief Course
Auteur Daniele Mundici
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 130
EAN 9788847023604
ISBN 8847023602
Libristo-code 01367291
Uitgeverij Springer Verlag
Gewicht 266
Afmetingen 156 x 234 x 6

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Taal en taalkunde > Taalwetenschap > Semantiek, discoursanalyse, stilistiek
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
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

Magnus Eiriksson Gerhard Schreiber / Boek Gebonden (harde band)
common.buy 67.53 €
Design Education Wendy C. Newstetter / Boek Gebonden (paperback)
common.buy 46.98 €
Republican Democracy NIERDERBERGER SCHI / Boek Gebonden (paperback)
common.buy 33.00 €
Relativity Albert Einstein / Boek Gebonden (harde band)
common.buy 32.09 €
My First Big Book of Coloring 2 Little Bee Books / Boek Gebonden (paperback)
common.buy 8.39 €
Charlie "Chubby Bubble" Spencer W. Davis / Boek Gebonden (paperback)
common.buy 21.86 €
Oak Openings James Fenimore Cooper / Boek Gebonden (paperback)
common.buy 34.32 €
The World Crisis And Its Meaning (1915) Felix Adler / Boek Gebonden (paperback)
common.buy 28.85 €
Bugatti - The 8-Cylinder Touring Cars 1920-34 Barrie Price / Boek Gebonden (paperback)
common.buy 39.38 €
The Long Way Home - Revised Edition: A Journey Into History with Captain Robert Ford MR Ed Dover / Boek Gebonden (paperback)
common.buy 15.18 €
TOP
Fantastic Paintings of Frazetta Spurlock J David / Boek Gebonden (harde band)
common.buy 30.47 €
TOP
Seventy-Eight Degrees of Wisdom: A Tarot Journey to Self-Awareness Rachel Pollack / Boek Gebonden (paperback)
common.buy 17.91 €
Mechanistic Realism and US Foreign Policy RO / Boek Gebonden (paperback)
common.buy 53.15 €
Transhumanizing War H. Christian Breede / Boek Gebonden (paperback)
common.buy 49.71 €
Archaeology of Ancient Greece James Whitley / Boek Gebonden (paperback)
common.buy 57.10 €
Spanish Civil War Alun Kenwood / Boek Gebonden (paperback)
common.buy 62.57 €
World to Come - Ukrainian Images of the Last Judgment Liliya Berezhnaya / Boek Gebonden (harde band)
common.buy 59.03 €
Covenants without Swords Jeanne Morefield / Boek Gebonden (paperback)
common.buy 30.77 €
Five Broken Blades Mai Corland / Boek Gebonden (harde band)
common.buy 19.33 €
Prince Prigio from His Own Fairy Book Andrew Lang / Boek Gebonden (paperback)
common.buy 9.00 €
TOP
What I Ate in One Year Stanley Tucci / Boek Gebonden (harde band)
common.buy 18.52 €
A Sphere in Architecture and Astronomy Rune Jakobsen / Boek Gebonden (harde band)
common.buy 43.03 €
Central Africans, Atlantic Creoles, and the Foundation of the Americas, 1585-1660 Linda M. HeywoodJohn K. Thornton / Boek Gebonden (paperback)
common.buy 26.82 €
Principles of Surgical Oncology Ronald Raven / Boek Gebonden (paperback)
common.buy 51.73 €

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?