Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
phone Kontakt phoneWie einkaufen

Extensions of First-Order Logic

Sprache EnglischEnglisch
Buch Broschur
Buch Extensions of First-Order Logic Maria Manzano
Libristo-Code: 02018002
Verlag Cambridge University Press, August 2005
Classical logic has proved inadequate in various areas of computer science, artificial intelligence,... Vollständige Beschreibung
? points 223 b
91.19 € inkl. MwSt.
Externes Lager Wir versenden in 10-16 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Top
Zmyslowa Wieza / Spiel/Spielzeug Spiel
common.buy 12.89 €
Off Broadway Puzzle Zozoville / Spiel/Spielzeug Puzzle
common.buy 35.99 €
Schreibschrift Lernen 1. Klasse / Buch Broschur
common.buy 8.95 €
Dobble Disney - společenská hra / Spiel/Spielzeug Spiel
common.buy 17.39 €
Top
Nowi Tropiciele Wycinanka 1 Praca zbiorowa / Buch Broschur
common.buy 7.59 €
Alltag, Beruf & Co. Dr. Jörg Braunert / Buch Broschur
common.buy 39.29 €
E-Mail-Marketing-Newsletter Katya Georgieva / Buch Broschur
common.buy 48.00 €
Traite Complet Des Carres Magiques Pairs Et Impairs, Simples Et Composes Tome 2 Violle-B / Buch Broschur
common.buy 33.99 €
Top
Bildkarten zur Sprachförderung: Verben. Paket Anja Boretzki / Drucksachen Karten
common.buy 33.99 €
Eddy Merckx Kanibal Daniel Friebe / Buch Hardcover
common.buy 4.59 €
La Hierarchie Des Droits Louis-Philippe Lampron / Buch Broschur
common.buy 78.89 €
Odpad a umění, umění a odpad Jana Orlová / Buch Blatt
common.buy 4.39 €
Bach, Johann Sebastian - Französische Suite III h-moll BWV 814 Ullrich Scheideler / Buch Broschur
common.buy 7.50 €
Code de Procedure Civile / Buch Broschur
common.buy 19.09 €
Dornröschen Jacob Grimm / Buch Blatt
common.buy 2.89 €
Prežiť Afganistan Peter Frankl / Buch Hardcover
common.buy 10.89 €
Enciclopedia de objetos cotidianos TPANKA SEKANINOVA / Buch Hardcover
common.buy 18.69 €
PlayFoam Boule 4pack - Svítící (CZ/SK) / Spiel/Spielzeug Spiel
common.buy 8.99 €
Anime Nude Sergio Bissoli / Buch Broschur
common.buy 17.29 €
El heredero RAFAEL TARRADAS BULTO / Buch Broschur
common.buy 12.79 €
Tanguy und Laverdure Klassik 02 Jean-Michel Charlier / Buch Broschur
common.buy 12.90 €

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Extensions of First-Order Logic
Autor Maria Manzano
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2005
Anzahl der Seiten 412
EAN 9780521019026
ISBN 0521019028
Libristo-Code 02018002
Verlag Cambridge University Press
Gewicht 645
Abmessungen 170 x 244 x 21

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Hamster Revolution. How to Manage Your Email Before It Manages You. Stop Info Glut -- Reclaim Your Life Tim Burress / Buch Broschur
common.buy 13.59 €
Metamathematics of First-Order Arithmetic Petr Hajek / Buch Hardcover
common.buy 191.19 €
First-order Logic Raymond M. Smullyan / Buch Broschur
common.buy 8.49 €
Top Günstig
A Heart for Christmas Sophie Jomain / Buch Broschur
common.buy 11.59 €
Leading Ladies Ken Ludwig / Buch Broschur
common.buy 18.79 €
Off Armageddon Reef David Weber / Buch Broschur
common.buy 24.69 €
Reply to the Answer of the Rev. Dr. Maskelyne, Astronomer Royal, to A Narrative of Facts, Relating to Some Time-keepers, Constructed by Mr. Thomas Mud Thomas Mudge / Buch Hardcover
common.buy 29.69 €
Thanksgiving Glenn Alan Cheney / Buch Broschur
common.buy 15.59 €
Top
Game Changer Rachel Reid / Buch Broschur
common.buy 9.89 €
Mental Math: Tricks and Practical Strategies to Make Calculations Faster, Enhance Your Math Skills and Solve Everyday Math Problems Thomas Scofield / Buch Broschur
common.buy 12.59 €
Heartbreaker Anika Hussain / Buch Broschur
common.buy 9.59 €
Healthier Together Liz Moody / Buch Hardcover
common.buy 18.29 €
Top
Alchemised Yu SenLin / Buch Broschur
common.buy 19.89 €
Basic Understanding of Financial Investment: Book 6 For Teens and Young Adults Ronald E. Hudkins / E-Book Adobe ePub DRM
common.buy 6.49 €
A Road to Damascus Meedo Taha / Buch Broschur
common.buy 18.39 €
It Valentine's Day Any Chance Of Anal?: Fun Valentines Day Gift: Card Alternative For Some Laughs On Valentines Day (Lovers And Couples). S. &. N. Publishers / Buch Broschur
common.buy 8.89 €
Top
Chainsaw Man, Vol. 19 Tatsuki Fujimoto / Buch Broschur
common.buy 9.59 €
THE PHOENIX LIGHTS, UFOs & CROP CIRCLES COLORING BOOK: Adventures of Sue FO (Field Observer) & Hugh FO Lynne D Kitei M D / Buch Broschur
common.buy 9.59 €
Evidences of the Genuineness of the Gospels Andrews Norton / Buch Broschur
common.buy 35.29 €
Thriller: Mystery: Nothing Easy: (detective, murder, suspense, action, amateur fbi police private investigator noir mob dark dis Orlando Hunter / Buch Broschur
common.buy 6.29 €
Fifth Grade Common Core Workbook: Worksheets Corecommonstandards Com / Buch Broschur
common.buy 64.59 €
Newsletter Marketing: Insider Secrets to Using Newsletters to Increase Profits, Get More New Customers, and Keep Customers Longer than You E Shaun Buck / Buch Broschur
common.buy 8.79 €
Email Newsletter Strategies For Profit Subhash V. Subhash / Buch Broschur
common.buy 9.69 €
SELF-LIGATING SYSTEM Pragyan Mishra / Buch Broschur
common.buy 53.69 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?