Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Natural Deduction, Hybrid Systems and Modal Logics

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Natural Deduction, Hybrid Systems and Modal Logics Andrzej Indrzejczak
Κωδικός Libristo: 01979469
ΕΕκδοτικός οίκος Springer, Σεπτέμβριος 2012
Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical... Πλήρης περιγραφή
? points 572 b
234.36 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

tempesta del secolo Stephen King / Βιβλίο Χαρτόδετο
common.buy 13.62 €
Sprechen in Bildern - Sprechen über Bilder Caroline Smout / Βιβλίο Σκληρόδετο
common.buy 82.19 €
Charaktertypen Christa Meves / Βιβλίο Χαρτόδετο
common.buy 14.43 €
Tvárniace stroje Bedřich rudolf / Βιβλίο Σκληρόδετο
common.buy 2.40 €
Theoretische Physik fur Studierende des Lehramts 2 Peter Schmüser / Βιβλίο Χαρτόδετο
common.buy 37.48 €
This Is Fine / Audio Audio CD
common.buy 13.02 €
How to Train Your Dragon, 1 Audio-CD (Soundtrack). Vol.2 John Powell / Audio Audio CD
common.buy 11.62 €
Naruto - édition Hokage - Tome 2 Masashi Kishimoto / Βιβλίο Χαρτόδετο
common.buy 19.14 €
The Kingdom of Chen: Traditional Chinese Version + Orange Cover!!! Chinie Chin Chen / Βιβλίο Χαρτόδετο
common.buy 26.66 €
PLORARUIXA LLADO I BADIA / Βιβλίο Σκληρόδετο
common.buy 12.12 €
ZYX Italo Disco Collection 23 Various / Audio Audio CD
common.buy 21.84 €

Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Natural Deduction, Hybrid Systems and Modal Logics
Συγγραφέας Andrzej Indrzejczak
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2012
Αριθμός σελίδων 492
EAN 9789400732438
ISBN 9400732430
Κωδικός Libristo 01979469
ΕΕκδοτικός οίκος Springer
Βάρος 783
Διαστάσεις 155 x 235 x 28

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Calculus & mathematical analysis > Numerical analysis
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Dust Mites Matthew J. Colloff / Βιβλίο Σκληρόδετο
common.buy 237.87 €
Network Economics: A Variational Inequality Approach David Ben-Arieh / Βιβλίο Χαρτόδετο
common.buy 51.12 €
Soldering and Brazing Handbook for Home Machinists: Practical Information and Useful Exercises for the Small Shop Tubal Cain / Βιβλίο Χαρτόδετο
common.buy 10.22 €
Happy Street 1: Activity Book & Multi-ROM Pack Lorena Roberts / Βιβλίο Βιβλίο
common.buy 36.08 €
The Roots Of Our Learning: Eleven Essays Francis Neilson / Βιβλίο Σκληρόδετο
common.buy 47.61 €
Reflections I George Manus / Βιβλίο Χαρτόδετο
common.buy 15.03 €
Perception in Scholastics and Their Interlocutors Daniel / Βιβλίο Χαρτόδετο
common.buy 4.60 €
Giro d'Italia Colin O'Brien / Βιβλίο Χαρτόδετο
common.buy 11.72 €
Pay-to-Go: America-First Immigration Fix Brian W Kelly / Βιβλίο Χαρτόδετο
common.buy 15.43 €
Quick Home School Starter Guide LISA POWELL / Βιβλίο Χαρτόδετο
common.buy 13.02 €
Marble Frosted & Murder: An Oceanside Cozy Mystery Book 64 Susan Gillard / Βιβλίο Χαρτόδετο
common.buy 10.72 €
Three Blind Mice: How Today's Financial Planning Process Leads Your Money to a Mousetrap McLean / Βιβλίο Σκληρόδετο
common.buy 23.55 €
Τοπ
Greyfriars Bobby Atkinson / Βιβλίο Σκληρόδετο
common.buy 11.72 €
Τοπ
Moomin: Dangerous Journey (Foiled Blank Journal) / Ημερολόγιο/ημερολόγιο ατζέντα Ημερολόγιο
common.buy 10.82 €
Monstrous: Heartbreak And Bloodloss Stan Yak / Βιβλίο Χαρτόδετο
common.buy 13.72 €
Loyalty: Reign of the Girl King Christopher J Gniewosz / Βιβλίο Χαρτόδετο
common.buy 24.75 €
Real Madrid Handbook Rab MacWilliam / Βιβλίο Χαρτόδετο
common.buy 11.42 €
Greek for the Rest of Us, Third Edition William D. Mounce / Βιβλίο Χαρτόδετο
common.buy 26.66 €
Tiananmen Square Vijay Gokhale / Βιβλίο Χαρτόδετο
common.buy 19.24 €
Amish Hostage Rachel Yoder / Βιβλίο Χαρτόδετο
common.buy 8.21 €
Orcas Intermission Laura Gayle / Βιβλίο Χαρτόδετο
common.buy 18.23 €
Jeffrey Gitomer's the Sales Bible: The Ultimate Sales Resource Jeffrey Gitomer / Βιβλίο Σκληρόδετο
common.buy 24.35 €
The Strategist's Handbook Tools, templates, and best practices across the strategy process (Hardback) Galpin / Βιβλίο Σκληρόδετο
common.buy 107.95 €
Τοπ
Painter of the Night Vol. 1 Byeonduck / Βιβλίο Χαρτόδετο
common.buy 22.04 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;